-#LyX 1.6.0beta3 created this file. For more info see http://www.lyx.org/
-\lyxformat 335
+#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+\lyxformat 345
\begin_document
\begin_header
\textclass article
\newdir{|>}{!/4.5pt/@{|}*:(1,-.2)@^{>}*:(1,+.2)@_{>}}
\end_preamble
+\use_default_options false
\language english
\inputencoding auto
\font_roman ae
\paperpagestyle default
\tracking_changes false
\output_changes false
-\author ""
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
\family typewriter
instant-preview
\family default
- works by opening a LyX-document and entering any math-formula, e.g.
+ works by opening a LyX-document and entering any math-formula, e.
+\begin_inset space \thinspace{}
+\end_inset
+
+g.
\begin_inset Formula $a+b=c$
\end_inset
\begin_layout Enumerate
Move the mouse cursor out of the editing box and wait for a split second
to see an arrow appear:
-\begin_inset Formula $\xymatrix{A\ar [r] & B}
+\begin_inset Formula $\xymatrix{A\ar[r] & B}
$
\end_inset
\end_layout
\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}
+\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}
$
\end_inset
\end_layout
\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 }
+\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 }
\end_inset
\begin_inset Formula $\beta$
\end_inset
- above the arrow, i.e.
-\begin_inset Formula $\xymatrix{\ & \ \ar [l]_{\beta}^{\alpha}.}
+ above the arrow, i.
+\begin_inset space \thinspace{}
+\end_inset
+
+g.
+\begin_inset space \space{}
+\end_inset
+
+
+\begin_inset Formula $\xymatrix{\ & \ \ar[l]_{\beta}^{\alpha}.}
$
\end_inset
\end_layout
\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 }
+\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 }
\end_inset
\end_inset
-pic normally permits labels to be shifted towards the tip or towards the
- start of an arrow by prefixing the label with a ratio, such as e.g.
+ start of an arrow by prefixing the label with a ratio, such as e.
+\begin_inset space \thinspace{}
+\end_inset
+
+g.
\family typewriter
(.3)
\end_inset
--pic code such as e.g.
+-pic code such as e.
+\begin_inset space \thinspace{}
+\end_inset
+
+g.
\family typewriter
produces an arrow with split end, a dotted shaft and double head.
A number of other arrow designs is given in the table below.
Note that the ends of embedding arrows
-\begin_inset Formula $\xymatrix{A\ar @{^{(}->}[r] & B}
+\begin_inset Formula $\xymatrix{A\ar@{^{(}->}[r] & B}
$
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar [r] & \ }
+\begin_inset Formula \xymatrix{\ \ar[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @{-->}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@{-->}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @{..>}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@{..>}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @{~>}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@{~>}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @{->>}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@{->>}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @{-->>}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@{-->>}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @{>->>}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@{>->>}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @{_{(}->}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@{_{(}->}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @{^{(}->}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@{^{(}->}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @{|-|}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@{|-|}[r] & \ }
\end_inset
\end_layout
\begin_layout Standard
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-noindent
-\end_layout
-
-\end_inset
-
- Following the @-character by either a 2, 3, _,or a ^, we can produce arrows
+\noindent
+Following the @-character by either a 2, 3, _,or a ^, we can produce arrows
with double, triple shaft or arrows showing only the lower or upper half
of their tips and ends.
Arrows need not have tips nor ends, as the last example shows :
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @2[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@2[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @3[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@3[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @_{->}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@_{->}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @^{->}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@^{->}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @^{>>->>}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@^{>>->>}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @{^{<}-_{>}}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@{^{<}-_{>}}[r] & \ }
\end_inset
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar @2{--}[r] & \ }
+\begin_inset Formula \xymatrix{\ \ar@2{--}[r] & \ }
\end_inset
\end_layout
\begin_layout Standard
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-noindent
-\end_layout
-
-\end_inset
-
+\noindent
This defines a new arrow tip, referred to as
\family typewriter
|>
\family default
and which displays correctly in LyX as:
\begin_inset Formula \[
-\xymatrix{A\ar @{-|>}[r] & \ \ B}
+\xymatrix{A\ar@{-|>}[r] & \ \ B}
\]
\end_inset
\end_layout
\begin_layout Standard
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-noindent
-\end_layout
-
-\end_inset
-
- produces
+\noindent
+produces
\begin_inset space ~
\end_inset
\begin_inset Formula \[
-\xymatrix{\circ\ar @<1ex>[r] & \circ\ar @<1ex>[l]}
+\xymatrix{\circ\ar@<1ex>[r] & \circ\ar@<1ex>[l]}
\]
\begin_layout Standard
Arrows and diagrams can be used inline, such as this one:
-\begin_inset Formula $\xymatrix{\circ\ar @<1ex>[r] & \circ\ar @<1ex>[l]}
+\begin_inset Formula $\xymatrix{\circ\ar@<1ex>[r] & \circ\ar@<1ex>[l]}
$
\end_inset
\family typewriter
xypic
\family default
-, we could simply write, e.g.
+, we could simply write, e.
+\begin_inset space \thinspace{}
+\end_inset
+
+g.
\family typewriter
1pc
\family default
downwards, this cannot directly be done in LyX.
- It is necessary, to enclose the measure in a pair of braces, such as e.g.
+ It is necessary, to enclose the measure in a pair of braces, such as e.
+\begin_inset space \thinspace{}
+\end_inset
+
+g.
\family typewriter
\begin_layout Standard
\begin_inset Formula \[
-\xymatrix{A\ar @/{}_{.5pc}/[r] & B\ar @/{}_{.5pc}/[l]}
+\xymatrix{A\ar@/{}_{.5pc}/[r] & B\ar@/{}_{.5pc}/[l]}
\]
\end_inset
\begin_layout Standard
\begin_inset Formula \[
-\xymatrix{A\ar @(dr,dl)[r]\ar @(dr,dl)[rr] & B\ar @(d,r)[dl] & C\\
-E\ar @(ul,ur)}
+\xymatrix{A\ar@(dr,dl)[r]\ar@(dr,dl)[rr] & B\ar@(d,r)[dl] & C\\
+E\ar@(ul,ur)}
\]
\end_inset
\begin_layout Standard
\begin_inset Formula \[
-\xymatrix{\txt {start}\ar [r] & *++[o][F]{1}\ar [r] & *++[o][F=]{2}\ar @(ur,dr)\ar @(ur,ul)[l]}
+\xymatrix{\txt{start}\ar[r] & *++[o][F]{1}\ar[r] & *++[o][F=]{2}\ar@(ur,dr)\ar@(ur,ul)[l]}
\]
\end_inset
These are followed by the framing commands, to produce figures such as
the following:
\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 }
+\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}
\]
\end_inset
\family default
will just appear as typed, but cannot be used to receive a macro parameter.
- They are useful, for instance to denote sets, e.g.
+ They are useful, for instance to denote sets, e.
+\begin_inset space \thinspace{}
+\end_inset
+
+g.
\family typewriter
{x
\begin_layout Standard
\begin_inset Formula \[
-\xyC {.5pc}\xyC {9pc}\xymatrix{A\ar [r]\ar [d] & B\\
-C\ar @{}[ur]|{\text{{horizontal stretch}}}}
+\xyC{.5pc}\xyC{9pc}\xymatrix{A\ar[r]\ar[d] & B\\
+C\ar@{}[ur]|{\text{{horizontal stretch}}}}
\]
\end_inset
items, such as the intersection of the arrows in the figure below.
In order to shift a label position alongside the shaft of an arrow,
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\begin_layout Standard
\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}
+\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}
\]
\end_inset
A more general trick uses invisible arrows to place any object almost anywhere
inside a diagram.
Produce an invisible arrow, shorten (or prolong) it past its goal by adding
- a decimal stretching ratio, e.g.
+ a decimal stretching ratio, e.
+\begin_inset space \thinspace{}
+\end_inset
+
+g.
\family typewriter
(0.6)