-#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
-\lyxformat 345
+#LyX 2.0 created this file. For more info see http://www.lyx.org/
+\lyxformat 413
\begin_document
\begin_header
\textclass scrartcl
\begin_preamble
\usepackage[all]{xy}
-
% define new commands used in sec. 5.1
\newcommand{\xyR}[1]{
\xydef@\xymatrixrowsep@{#1}}
\end_preamble
\options BCOR7.5mm
\use_default_options false
+\maintain_unincluded_children false
\language english
+\language_package default
\inputencoding auto
+\fontencoding global
\font_roman ae
\font_sans default
\font_typewriter default
\font_default_family default
+\use_non_tex_fonts false
\font_sc false
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
\graphics default
+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default
\paperfontsize 12
\spacing single
\use_hyperref true
\use_geometry false
\use_amsmath 1
\use_esint 0
+\use_mhchem 1
+\use_mathdots 1
\cite_engine basic
\use_bibtopic false
+\use_indices false
\paperorientation portrait
+\suppress_date false
+\use_refstyle 0
+\index Index
+\shortcut idx
+\color #008000
+\end_index
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
-\defskip medskip
+\paragraph_indentation default
\quotes_language english
\papercolumns 1
\papersides 2
\paperpagestyle default
\tracking_changes false
\output_changes false
-\author ""
-\author ""
-\author ""
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict true
\end_header
\begin_body
\begin_layout Standard
\align center
\begin_inset Graphics
- filename ../../../g-free-1.6/lib/examples/xyfigure.png
- scale 50
+ filename xyfigure.png
+ width 75col%
BoundingBox 0bp 0bp 580bp 440bp
clip
\begin_layout Standard
\begin_inset Formula $\xymatrix{U\ar@/_{1pc}/[ddr]_{\psi}\ar@/{}^{1pc}/[drr]^{\varphi}\ar@{.>}[dr]|-{(x,y)}\\
& X\times_{Z}Y\ar[d]^{q}\ar[r]_{p} & X\ar[d]_{f}\\
- & Y\ar[r]^{g} & Z}
+ & Y\ar[r]^{g} & Z
+}
$
\end_inset
\begin_layout Standard
\begin_inset Formula \xymatrix{ U \ar[ddr] \ar[drr] \ar[dr]\\
& X \times_{Z} Y \ar[d] \ar[r] & X \ar[d]\\
- & Y \ar[r] & Z }
-
+ & Y \ar[r] & Z
+}
\end_inset
\begin_layout LyX-Code
\begin_inset Formula \xymatrix{ U \ar[ddr]_{\psi}\ar[drr]^{\varphi}\ar[dr]|-{(x,y)}\\
& X \times_{Z} Y \ar[d]^{q} \ar[r]_{p} & X \ar[d]_{f}\\
- & Y \ar[r]^{g} & Z }
-
+ & Y \ar[r]^{g} & Z
+}
\end_inset
\begin_layout Standard
\begin_inset Tabular
<lyxtabular version="3" rows="11" columns="2">
-<features islongtable="true">
+<features islongtable="true" longtabularalignment="center">
<column alignment="center" valignment="top" width="0">
<column alignment="center" valignment="top" width="0">
<row>
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{-->}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{..>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{~>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{->>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{-->>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{>->>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{_{(}->}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{^{(}->}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{|-|}[r] & \ }
-
\end_inset
\begin_layout Standard
\begin_inset Tabular
<lyxtabular version="3" rows="8" columns="2">
-<features islongtable="true">
+<features islongtable="true" longtabularalignment="center">
<column alignment="center" valignment="top" width="0">
<column alignment="center" valignment="top" width="0">
<row>
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@2[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@3[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@_{->}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@^{->}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@^{>>->>}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@{^{<}-_{>}}[r] & \ }
-
\end_inset
\begin_layout Plain Layout
\begin_inset Formula \xymatrix{\ \ar@2{--}[r] & \ }
-
\end_inset
ar@{-|>}[r]
\family default
and which displays correctly in LyX as:
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{A\ar@{-|>}[r] & \ \ B}
\]
\end_inset
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{\circ\ar@<1ex>[r] & \circ\ar@<1ex>[l]}
\]
\end_layout
\begin_layout Standard
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{A\ar@/{}_{.5pc}/[r] & B\ar@/{}_{.5pc}/[l]}
\]
\end_layout
\begin_layout Standard
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{A\ar@(dr,dl)[r]\ar@(dr,dl)[rr] & B\ar@(d,r)[dl] & C\\
-E\ar@(ul,ur)}
+E\ar@(ul,ur)
+}
\]
\end_inset
\end_layout
\begin_layout Standard
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{\txt{start}\ar[r] & *++[o][F]{1}\ar[r] & *++[o][F=]{2}\ar@(ur,dr)\ar@(ur,ul)[l]}
\]
.
These are followed by the framing commands, to produce figures such as
the following:
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{A & B\ar@(d,r)[dl]\sp(0.2)\phi\sp(0.7)\psi\save"1,1"."2,1"*+[F=]\frm{}\restore\,\\
-C & \save"1,1"."1,2"*++[F]\frm{}\restore}
+C & \save"1,1"."1,2"*++[F]\frm{}\restore
+}
\]
\end_inset
\end_layout
\begin_layout Standard
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xyC{.5pc}\xyC{9pc}\xymatrix{A\ar[r]\ar[d] & B\\
-C\ar@{}[ur]|{\text{{horizontal stretch}}}}
+C\ar@{}[ur]|{\text{{horizontal stretch}}}
+}
\]
\end_inset
\end_layout
\begin_layout Standard
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xyC{4pc}\xymatrix{\bullet\ar[dr]\sp(0.3)\varphi & \circ\ar@{}[d]|\vdots\ar@(r,r)[d]\sp(0.2){\phi_{1}}\sp(0.4){\phi_{2}}\sb(0.6){\phi_{3}}\sp(0.8){\phi_{4}}\\
-\circ\ar[ur]\sb(0.3)\phi & \bullet}
+\circ\ar[ur]\sb(0.3)\phi & \bullet
+}
\]
\end_inset
\end_inset
-pic to make braids, cobordism, string diagrams, and much more.
+ You might want to look on
+\family typewriter
+inset_preview.lyx
+\family default
+ example shipped with LyX, which demonstrates how to use more advanced
+\begin_inset ERT
+status collapsed
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
+
+\end_inset
+
+-commands via
+\family typewriter
+ERT
+\family default
+ and
+\family typewriter
+Instant preview
+\family default
+ insets.
A good and rather systematic introduction to
\family typewriter
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "1"
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "2"
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "3"
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "4"
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "5"
\begin_layout Plain Layout
-http://www.dpmms.cam.ac.uk/~al366/xytutorial.html
+http://www.math.columbia.edu/~lauda/xy/
\end_layout
\end_inset
\end_layout
\begin_layout Bibliography
+\labelwidthstring References
\begin_inset CommandInset bibitem
LatexCommand bibitem
label "6"