-#LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
-\lyxformat 344
+#LyX 1.6.2svn created this file. For more info see http://www.lyx.org/
+\lyxformat 345
\begin_document
\begin_header
-\textclass article
+\textclass scrartcl
\begin_preamble
\usepackage[all]{xy}
-\makeatletter
+% define new commands used in sec. 5.1
\newcommand{\xyR}[1]{
- \makeatletter
- \xydef@\xymatrixrowsep@{#1}
- \makeatother
-}
-\makeatletter
+ \xydef@\xymatrixrowsep@{#1}}
\newcommand{\xyC}[1]{
- \makeatletter
- \xydef@\xymatrixcolsep@{#1}
- \makeatother
-}
+ \xydef@\xymatrixcolsep@{#1}}
\newdir{|>}{!/4.5pt/@{|}*:(1,-.2)@^{>}*:(1,+.2)@_{>}}
+
+% a pdf-bookmark for the TOC is added
+\let\myTOC\tableofcontents
+\renewcommand\tableofcontents{%
+ \pdfbookmark[1]{\contentsname}{}
+ \myTOC }
+
+% redefine the \LyX macro for PDF bookmarks
+\def\LyX{\texorpdfstring{%
+ L\kern-.1667em\lower.25em\hbox{Y}\kern-.125emX\@}
+ {LyX}}
\end_preamble
+\options BCOR7.5mm
\use_default_options false
\language english
\inputencoding auto
\font_tt_scale 100
\graphics default
-\paperfontsize default
+\paperfontsize 12
\spacing single
-\use_hyperref false
+\use_hyperref true
+\pdf_title "Using XY-pc in LyX"
+\pdf_author "H. Peter Gumm"
+\pdf_subject "LyX's XY-pic manual"
+\pdf_keywords "LyX, documentation"
+\pdf_bookmarks true
+\pdf_bookmarksnumbered true
+\pdf_bookmarksopen true
+\pdf_bookmarksopenlevel 2
+\pdf_breaklinks false
+\pdf_pdfborder false
+\pdf_colorlinks true
+\pdf_backref false
+\pdf_pdfusetitle false
+\pdf_quoted_options "linkcolor=black, citecolor=black, urlcolor=blue, filecolor=blue,pdfpagelayout=OneColumn, pdfnewwindow=true,pdfstartview=XYZ, plainpages=false, pdfpagelabels"
\papersize a4paper
\use_geometry false
\use_amsmath 1
\defskip medskip
\quotes_language english
\papercolumns 1
-\papersides 1
+\papersides 2
\paperpagestyle default
\tracking_changes false
\output_changes false
\begin_layout Title
Using
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\family typewriter
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
-package has long served as a convenient tool for easily constructing graphs
and diagrams in LaTeX.
Unfortunately, its use in LyX had long been restricted to the infamous
- ERT-boxes, meaning that the LyX editor could only display the LaTeX-source
+ TeX code boxes, meaning that the LyX editor could only display the LaTeX-source
and not the finished diagram.
The new
\family typewriter
\end_layout
\begin_layout Standard
+\align center
\begin_inset Graphics
filename xyfigure.png
scale 50
\begin_layout Standard
In this note, we describe how
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
-pic can be used from inside LyX, how diagrams can be created and edited.
We have tested the following using LyX versions 1.3.7 up to 1.6, running under
- WindowsXP and under Windows Vista.
+ Windows
+\begin_inset space \thinspace{}
+\end_inset
+
+XP and under Windows Vista.
\end_layout
There are two modes of operations: For a start, and for some first tests,
it may be easiest to first enter the
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
.
If you use
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
In the first two sections of this documentation, we explain how to use LyX
in the first mentioned mode and we introduce all
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
-Pic features that might be of use for drawing commutative diagrams, graphs
or automata.
- Section 3 explains how to use the
+ Section
+\begin_inset CommandInset ref
+LatexCommand ref
+reference "sec:math-editor"
+
+\end_inset
+
+ explains how to use the
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\begin_layout Standard
It is not our intention to write another introduction to
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
-Pic, rather our motivation is to give an introduction how the most important
commands work inside LyX, since the keystrokes as explained in the
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\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 cursor out of the formula, and watch it change its appearance to
- look just like in the finished dvi- or postscript document.
+ look just like in the finished DVI- or PostScript document.
\end_layout
\end_deeper
\begin_layout Enumerate
Activate and test
-\family typewriter
-xypic
-\end_layout
-
-\begin_deeper
-\begin_layout Enumerate
-Choose
-\family sans
-Layout\SpecialChar \menuseparator
-Document\SpecialChar \menuseparator
-Preamble
-\family default
- and type
-\family typewriter
+\begin_inset ERT
+status open
-\begin_inset Newline newline
-\end_inset
+\begin_layout Plain Layout
\backslash
-usepackage[all]{xy}.
+Xy
\end_layout
+\end_inset
+
+-Pic
+\family typewriter
+:
+\end_layout
+
+\begin_deeper
\begin_layout Enumerate
Inside your LyX-Document, enter the text
\family typewriter
\end_inset
.
-
+ Commutative diagrams
\end_layout
\end_deeper
-\begin_layout Section
-Commutative diagrams
-\end_layout
-
\begin_layout Standard
The following diagram, which is taken from the documentation of
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\begin_inset Formula $\beta$
\end_inset
- above the arrow, i.e.
+ above the arrow, i.
+\begin_inset space \thinspace{}
+\end_inset
+
+g.
\begin_inset space \space{}
\end_inset
\begin_layout Standard
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\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)
work.
The corresponding
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\end_inset
--pic code such as e.g.
+-pic code such as e.
+\begin_inset space \thinspace{}
+\end_inset
+
+g.
\family typewriter
\end_layout
\begin_layout Subsection
-Arrow modification
+Arrow modification
\end_layout
\begin_layout Standard
\family default
indicates, whether we want to modify the design, the or the curvature of
the arrow.
- Various modifactions can be applied to an arrow at the same time.
+ Various modifications can be applied to an arrow at the same time.
\end_layout
\begin_layout Subsubsection
-Arrow design
+Arrow design
\end_layout
\begin_layout Standard
\backslash
newdir
\family default
- command in the preample.
+ command in the preamble.
For explanations, we refer to the
\family typewriter
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\family sans
Ctrl-m
\family default
- for inline appearence or
+ for inline appearance or
\family sans
Ctrl-M
\family default
\end_layout
\begin_layout Subsection
-Bending arrows
+Bending arrows
\end_layout
\begin_layout Standard
\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
\end_layout
\begin_layout Subsubsection
-Specifying exit- and entrance directions.
-
+Specifying exit- and entrance directions
\end_layout
\begin_layout Standard
\end_layout
\begin_layout Subsubsection
-Framing objects
+Framing objects
\end_layout
\begin_layout Standard
With
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\end_layout
\begin_layout Standard
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-noindent
-\end_layout
-
-\end_inset
-
- can be typeset as
+\noindent
+can be typeset as
\end_layout
\begin_layout LyX-Code
\family default
, all following entries inside
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\begin_layout Section
Using LyX's math editor
+\begin_inset CommandInset label
+LatexCommand label
+name "sec:math-editor"
+
+\end_inset
+
+
\end_layout
\begin_layout Standard
to the parameter is entered.
In connection with
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\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
1-
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\family default
followed by a space opens a box for an upper index.
You can enter any LaTeX-code as a label.
-
\end_layout
\begin_layout Subsection
-Modifying arrows
+Modifying arrows
\end_layout
\begin_layout Standard
-Finally, modify the appearance of the arrows by entering @-modifiers @{\SpecialChar \ldots{}
-},
- @<\SpecialChar \ldots{}
->, @(\SpecialChar \ldots{}
+Finally, you can modify the appearance of the arrows by entering @-modifiers
+
+\family typewriter
+@{
+\family default
+\SpecialChar \ldots{}
+
+\family typewriter
+}
+\family default
+,
+\family typewriter
+@<
+\family default
+\SpecialChar \ldots{}
+>,
+\family typewriter
+@(
+\family default
+\SpecialChar \ldots{}
,\SpecialChar \ldots{}
-) or @/\SpecialChar \ldots{}
-/.
+) or
+\family typewriter
+@/
+\family default
+\SpecialChar \ldots{}
+
+\family typewriter
+/
+\family default
+.
The above caveat applies to the first form only.
It must be entered as
\family typewriter
\end_layout
\begin_layout Standard
-The other modifiers, @<\SpecialChar \ldots{}
->, @(\SpecialChar \ldots{}
+The other modifiers,
+\family typewriter
+@<
+\family default
+\SpecialChar \ldots{}
+
+\family typewriter
+>
+\family default
+,
+\family typewriter
+@(
+\family default
+\SpecialChar \ldots{}
,\SpecialChar \ldots{}
-) and @/\SpecialChar \ldots{}
-/ are typed as shown with the arrow
- description replacing the ellipsis.
+
+\family typewriter
+)
+\family default
+and
+\family typewriter
+@/
+\family default
+\SpecialChar \ldots{}
+
+\family typewriter
+/
+\family default
+are typed as shown with the arrow description replacing the ellipsis.
The code for bending arrows, which in
\family typewriter
xypic
\family default
- is @/_
+ is
+\family typewriter
+@/_
+\family default
\emph on
measure
+\family typewriter
\emph default
-/ or @/
+/
+\family default
+or
+\family typewriter
+@/
\emph on
-^measure
+^
+\family default
+measure
+\family typewriter
\emph default
-/ where
+/
+\family default
+where
\emph on
measure
\emph default
- is any valid TeX-measure, should be entered as upper or lower index to
- the first slash / .
+ is any valid TeX-measure that should be entered as upper or lower index
+ to the first slash /.
Make sure that the ending slash does not end up being part of the upper
or lower index.
\end_layout
\begin_layout Standard
A more serious reason could be a syntactical error in your input.
- If necessary, redo the last editing steps, using Ctrl-z, or try to translate
- the LyX-file into dvi using Ctrl-d or
+ If necessary, redo the last editing steps, using
+\emph on
+Ctrl+Z
+\emph default
+, or try to translate the LyX-file into
+\emph on
+DVI
+\emph default
+ using
+\emph on
+Ctrl+D
+\emph default
+ or
\family sans
View\SpecialChar \menuseparator
-Dvi
+DVI
\family default
.
There should be some error generated, which hopefully gives you a hint
of an entire diagram by using spacing commands for rows and/or columns.
According to the
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\family default
defines an
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
Unfortunately, these commands do currently not work inside LyX, as the
@-character is interpreted by LyX as ending the
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\begin_layout Standard
Knowing that
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\family sans
Layout\SpecialChar \menuseparator
Document\SpecialChar \menuseparator
-Preamble)
-\end_layout
+Preamble
+\family default
+):
+\begin_inset Newpage pagebreak
+\end_inset
-\begin_layout LyX-Code
-\backslash
-makeatletter
\end_layout
\begin_layout LyX-Code
\begin_layout LyX-Code
-\backslash
-makeatletter
-\end_layout
-
-\begin_layout LyX-Code
-
\backslash
xydef@
\backslash
-xymatrixrowsep@{#1}
-\end_layout
-
-\begin_layout LyX-Code
-
-\backslash
-makeatother
-\end_layout
-
-\begin_layout LyX-Code
-} % end of
-\backslash
-xyR
+xymatrixrowsep@{#1}}
\end_layout
\begin_layout LyX-Code
\backslash
xyR{...} into the
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
{
\family default
or both.
- Dont't forget the backslashes and remember, that the closing brace is automatic
-ally supplied by LyX.
+ Don't forget the backslashes and remember, that the closing brace is automatica
+lly supplied by LyX.
Inside the braces enter the dimensions.
The default is
\family typewriter
\begin_layout Standard
Another useful
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\end_inset
--vcommand allows the correct positioning of labels along the shaft of arrows.
+-command allows the correct positioning of labels along the shaft of arrows.
This feature is sometimes necessary, when the default position of a label
would otherwise clutter the picture, or would even coincide with other
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 collapsed
+status open
\begin_layout Plain Layout
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)
into the center of the figure.
\end_layout
+\begin_layout Subsection
+Further
+\family typewriter
+
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
+
+\end_inset
+
+
+\family default
+-tricks
+\end_layout
+
+\begin_layout Standard
+Here we have focused only on the
+\family typewriter
+
+\backslash
+xymatrix
+\family default
+ command, which is just one of the features available in Kris Rose's amazing
+\family typewriter
+
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
+
+\end_inset
+
+
+\family default
+-package.
+ The
+\family typewriter
+
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
+
+\end_inset
+
+
+\family default
+-Pic manual
+\begin_inset CommandInset citation
+LatexCommand cite
+key "xypic manual"
+
+\end_inset
+
+ demonstrates many of the advanced possibilities of that package.
+ Beware, that its style is rather terse and you will likely need a lot of
+ experimenting and modifying the many worked examples.
+ Lauda
+\begin_inset CommandInset citation
+LatexCommand cite
+key "Lauda"
+
+\end_inset
+
+ explains how to use
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
+
+\end_inset
+
+-pic to make braids, cobordism, string diagrams, and much more.
+ A good and rather systematic introduction to
+\family typewriter
+
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
+
+\end_inset
+
+
+\family default
+-matrix is
+\begin_inset CommandInset citation
+LatexCommand cite
+key "Ouvaton"
+
+\end_inset
+
+.
+ Even if you share with me the disadvantage of not being fluent in Esperanto,
+ you will be able to understand most of it.
+
+\end_layout
+
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
Kristoffer H.
Rose:
\begin_inset ERT
-status collapsed
+status open
\begin_layout Plain Layout
\end_inset
+\end_layout
+
+\begin_layout Bibliography
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+label "5"
+key "Lauda"
+
+\end_inset
+
+Aarlon Lauda:
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
+
+\end_inset
+
+
+\emph on
+-Pic
+\emph default
+
+\emph on
+tutorial with an archive of examples
+\emph default
+.
+\begin_inset Flex URL
+status collapsed
+
+\begin_layout Plain Layout
+
+http://www.dpmms.cam.ac.uk/~al366/xytutorial.html
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Bibliography
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+label "6"
+key "Ouvaton"
+
+\end_inset
+
+Filipp Ouvaton:
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
+
+\end_inset
+
+
+\emph on
+-Pic
+\emph default
+:
+\emph on
+Enkonduko pri Xymatrix
+\emph default
+.
+
+\begin_inset Flex URL
+status collapsed
+
+\begin_layout Plain Layout
+
+http://filip.ouvaton.org/xypic/xymatrix/index.html
+\end_layout
+
+\end_inset
+
+
\end_layout
\end_body