-#LyX 1.6.2svn created this file. For more info see http://www.lyx.org/
-\lyxformat 345
+#LyX 2.2 created this file. For more info see http://www.lyx.org/
+\lyxformat 506
\begin_document
\begin_header
+\save_transient_properties true
+\origin /systemlyxdir/examples/
\textclass scrartcl
\begin_preamble
-\usepackage[all]{xy}
+% DO NOT ALTER THIS PREAMBLE!!!
+%
+% This preamble is designed to ensure that the file prints
+% out as advertised. If you mess with this preamble,
+% parts of this document may not print out as expected. If you
+% have problems LaTeXing this file, please contact
+% the documentation team
+% email: lyx-docs@lists.lyx.org
+\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)@_{>}}
\def\LyX{\texorpdfstring{%
L\kern-.1667em\lower.25em\hbox{Y}\kern-.125emX\@}
{LyX}}
+
+% if pdflatex is used
+\usepackage{ifpdf}
+\ifpdf
+
+% set fonts for nicer pdf view
+\IfFileExists{lmodern.sty}
+ {\usepackage{lmodern}}{}
+
+\fi % end if pdflatex is used
\end_preamble
\options BCOR7.5mm
\use_default_options false
+\maintain_unincluded_children false
\language english
+\language_package default
\inputencoding auto
-\font_roman ae
-\font_sans default
-\font_typewriter default
+\fontencoding global
+\font_roman "default" "default"
+\font_sans "default" "default"
+\font_typewriter "default" "default"
+\font_math "auto" "auto"
\font_default_family default
+\use_non_tex_fonts false
\font_sc false
\font_osf false
-\font_sf_scale 100
-\font_tt_scale 100
-
+\font_sf_scale 100 100
+\font_tt_scale 100 100
\graphics default
+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default
\paperfontsize 12
\spacing single
\use_hyperref true
\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"
+\pdf_quoted_options "linkcolor=black, citecolor=black, urlcolor=blue, filecolor=blue,pdfpagelayout=OneColumn, pdfnewwindow=true,pdfstartview=XYZ, plainpages=false"
\papersize a4paper
\use_geometry false
-\use_amsmath 1
-\use_esint 0
+\use_package amsmath 1
+\use_package amssymb 1
+\use_package cancel 0
+\use_package esint 0
+\use_package mathdots 1
+\use_package mathtools 0
+\use_package mhchem 1
+\use_package stackrel 0
+\use_package stmaryrd 0
+\use_package undertilde 0
\cite_engine basic
+\cite_engine_type default
+\biblio_style plain
\use_bibtopic false
+\use_indices false
\paperorientation portrait
+\suppress_date false
+\justification true
+\use_refstyle 0
+\notefontcolor #0000ff
+\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 ""
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict true
\end_header
\begin_body
\end_inset
--pic in LyX
+-pic in \SpecialChar LyX
+
\end_layout
\begin_layout Author
\end_layout
\begin_layout Abstract
-With the recent versions of LyX and with the
+With the recent versions of \SpecialChar LyX
+ and with the
\family typewriter
preview
\family default
--style installed in the LaTeX-System, the graph drawing package
+-style installed in the \SpecialChar LaTeX
+-System, the graph drawing package
\family typewriter
\begin_inset ERT
\family default
--Pic can be conveniently used inside LyX.
- Diagrams can be edited and displayed inside the main LyX editing window.
+-pic can be conveniently used inside \SpecialChar LyX
+.
+ Diagrams can be edited and displayed inside the main \SpecialChar LyX
+ editing window.
Here, we shall describe how to use the
\family typewriter
\family typewriter
xypic
\family default
- inside LyX in order to draw, to edit and to preview diagrams as typically
+ inside \SpecialChar LyX
+ in order to draw, to edit and to preview diagrams as typically
used in category theory, algebra, and related fields.
\end_layout
xypic
\family default
-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
- and not the finished diagram.
+ and diagrams in \SpecialChar LaTeX
+.
+ Unfortunately, its use in \SpecialChar LyX
+ had long been restricted to the infamous \SpecialChar TeX
+ code
+ boxes, meaning that the \SpecialChar LyX
+ editor could only display the \SpecialChar LaTeX
+-source and not
+ the finished diagram.
The new
\family typewriter
preview
\family default
--style of LaTeX which is part of the AUCTeX project
+-style of \SpecialChar LaTeX
+ which is part of the AUC\SpecialChar TeX
+ project
\begin_inset CommandInset citation
LatexCommand cite
key "AUCTeX"
\family typewriter
xypic
\family default
--diagrams, constructed, displayed and interactively edited inside LyX.
+-diagrams, constructed, displayed and interactively edited inside \SpecialChar LyX
+.
\end_layout
\begin_layout Standard
\align center
\begin_inset Graphics
filename xyfigure.png
- scale 50
- BoundingBox 0bp 0bp 580bp 440bp
- clip
+ width 75col%
\end_inset
\end_inset
--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.
+-pic can be used from inside \SpecialChar LyX
+, how diagrams can be created and edited.
+ We have tested the following using \SpecialChar LyX
+ versions 1.3.7 up to 1.6, running under
+ Windows
+\begin_inset space \thinspace{}
+\end_inset
+
+XP and under Windows Vista.
\end_layout
\end_inset
--Pic code inside the LyX-window, select it all and convert it to a graphical
+-pic code inside the \SpecialChar LyX
+-window, select it all and convert it to a graphical
representation by pressing
\family sans
Ctrl-m
\end_inset
--Pic more frequently, or if you want to modify your initial figure, you
- will want to assemble and modify your figures using LyX's math editor.
+-pic more frequently, or if you want to modify your initial figure, you
+ will want to assemble and modify your figures using \SpecialChar LyX
+'s math editor.
\end_layout
\end_layout
\begin_layout Standard
-In the first two sections of this documentation, we explain how to use LyX
+In the first two sections of this documentation, we explain how to use \SpecialChar LyX
+
in the first mentioned mode and we introduce all
\begin_inset ERT
status collapsed
\end_inset
--Pic features that might be of use for drawing commutative diagrams, graphs
+-pic features that might be of use for drawing commutative diagrams, graphs
or automata.
Section
\begin_inset CommandInset ref
\end_inset
--Pic commands inside a math-editing area.
+-pic commands inside a math-editing area.
\end_layout
\end_inset
--Pic, rather our motivation is to give an introduction how the most important
- commands work inside LyX, since the keystrokes as explained in the
+-pic, rather our motivation is to give an introduction how the most important
+ commands work inside \SpecialChar LyX
+, since the keystrokes as explained in the
\begin_inset ERT
status collapsed
\end_inset
--Pic manual
+-pic manual
\begin_inset CommandInset citation
LatexCommand cite
key "xypic manual"
\end_inset
- will not always function correctly inside LyX.
+ will not always function correctly inside \SpecialChar LyX
+.
\end_layout
\end_layout
\begin_layout Standard
-The following requires that the LaTeX-packages
+The following requires that the \SpecialChar LaTeX
+-packages
\family typewriter
xypic
\family default
\family typewriter
preview
\family default
- are installed in the LaTeX system.
+ are installed in the \SpecialChar LaTeX
+ system.
They are available from CTAN, see at
\begin_inset CommandInset citation
LatexCommand cite
.
After freshly installing them, it may be necessary, to run
\family sans
-Edit\SpecialChar \menuseparator
+Tools\SpecialChar menuseparator
Reconfigure
\family default
- from the main LyX menu.
- The steps to a first diagram output in LyX are then:
+ from the main \SpecialChar LyX
+ menu.
+ The steps to a first diagram output in \SpecialChar LyX
+ are then:
\end_layout
\begin_layout Enumerate
Activate and test
\family typewriter
preview
+\family default
+
+\begin_inset Separator parbreak
+\end_inset
+
+
\end_layout
\begin_deeper
\begin_layout Enumerate
-Open LyX, choose
+Open \SpecialChar LyX
+, choose
\family sans
-Edit\SpecialChar \menuseparator
-Preferences\SpecialChar \menuseparator
-Look and Feel\SpecialChar \menuseparator
-Graphics
+Tools\SpecialChar menuseparator
+Preferences\SpecialChar menuseparator
+Look and Feel\SpecialChar menuseparator
+Display
\family default
- and place a check-mark at
+ and turn
\emph on
Instant Preview
+\emph default
+ on.
+\end_layout
+
+\begin_layout Enumerate
+In
+\family sans
+Document\SpecialChar menuseparator
+Settings\SpecialChar menuseparator
+Math
+\begin_inset space ~
+\end_inset
+
+Options
+\family default
+, uncheck
+\emph on
+Use AMS Math package automatically
+\emph default
+ and check
+\emph on
+Use AMS Math package
\emph default
.
-
\end_layout
\begin_layout Enumerate
\family typewriter
instant-preview
\family default
- works by opening a LyX-document and entering any math-formula, e.
+ works by opening a \SpecialChar LyX
+-document and entering any math-formula, e.
\begin_inset space \thinspace{}
\end_inset
g.
-
+\begin_inset space \space{}
+\end_inset
+
+
\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_inset
--Pic
+-pic
\family typewriter
:
+\family default
+
+\begin_inset Separator parbreak
+\end_inset
+
+
\end_layout
\begin_deeper
\begin_layout Enumerate
-Inside your LyX-Document, enter the text
+Inside your \SpecialChar LyX
+-Document, enter the text
\family typewriter
\begin_inset Newline newline
\begin_layout Enumerate
Select the whole text and choose
\family sans
-Insert\SpecialChar \menuseparator
-Math\SpecialChar \menuseparator
+Insert\SpecialChar menuseparator
+Math\SpecialChar menuseparator
Display Formula
\family default
, or use the corresponding keyboard shortcut
\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
\end_inset
--Pic
+-pic
\begin_inset CommandInset citation
LatexCommand cite
key "xypic manual"
\backslash
xymatrix{
\family default
- \SpecialChar \ldots{}
- up to the closing brace \SpecialChar \ldots{}
+ \SpecialChar ldots
+ up to the closing brace \SpecialChar ldots
\family typewriter
}
\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
\end_layout
\begin_layout Standard
-The pattern should be familiar from LaTeX: We see three rows, the first
- two being terminated by the end-of-line-marker
+The pattern should be familiar from \SpecialChar LaTeX
+: We see three rows, the first two being
+ terminated by the end-of-line-marker
\family typewriter
\backslash
ar[r] & Z }
\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_layout LyX-Code
+\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.
+ above the arrow, e.
\begin_inset space \thinspace{}
\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
g.
-
+\begin_inset space \space{}
+\end_inset
+
+
\family typewriter
(.3)
\family default
.
- In LyX this works only for labels which are placed on top of the arrow,
- such as
+ In \SpecialChar LyX
+ this works only for labels which are placed on top of the arrow, such
+ as
\family typewriter
\backslash
\end_inset
g.
-
+\begin_inset space \space{}
+\end_inset
+
+
\family typewriter
\backslash
\backslash
psi
\family default
- is not correctly interpreted by LyX's math editor.
+ is not correctly interpreted by \SpecialChar LyX
+'s math editor.
Two workarounds are suggested in the last section of this note.
\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
\family typewriter
@
\family default
--sign and a pair of braces {\SpecialChar \ldots{}
+-sign and a pair of braces {\SpecialChar ldots
} containing characters describing the end,
the shaft and the tip of the arrow.
These characters are chosen to give some form of ASCII-rendering of the
\backslash
ar@{^(->}[r].
-\begin_inset Newline newline
+\family default
+
+\begin_inset Separator parbreak
\end_inset
\end_layout
\begin_layout Standard
+\align center
\begin_inset Tabular
<lyxtabular version="3" rows="11" columns="2">
-<features islongtable="true">
-<column alignment="center" valignment="top" width="0">
-<column alignment="center" valignment="top" width="0">
+<features tabularvalignment="middle">
+<column alignment="center" valignment="top" width="0pt">
+<column alignment="center" valignment="top">
<row>
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
\begin_inset Text
\begin_inset Text
\begin_layout Plain Layout
-Source code in LyX
+Source code in \SpecialChar LyX
+
\end_layout
\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
\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
\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
\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
\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_layout Standard
\noindent
-Following the @-character by either a 2, 3, _,or a ^, we can produce arrows
+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 Newline newline
+ Arrows need not have tips nor ends, as the last example shows:
+\begin_inset Separator parbreak
\end_inset
\end_layout
\begin_layout Standard
+\align center
\begin_inset Tabular
<lyxtabular version="3" rows="8" columns="2">
-<features islongtable="true">
-<column alignment="center" valignment="top" width="0">
-<column alignment="center" valignment="top" width="0">
+<features tabularvalignment="middle">
+<column alignment="center" valignment="top">
+<column alignment="center" valignment="top">
<row>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
-Result
+Result
\end_layout
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
-Source code for LyX
+Source code for \SpecialChar LyX
+
\end_layout
\end_inset
</cell>
</row>
<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
\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
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
</cell>
</row>
<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar@3[r] & \ }
-
-
+\begin_inset Formula $\xymatrix{\ \ar@3[r] & \ }
+$
\end_inset
-
+
\end_layout
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
</cell>
</row>
<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar@_{->}[r] & \ }
-
-
+\begin_inset Formula $\xymatrix{\ \ar@_{->}[r] & \ }
+$
\end_inset
-
+
\end_layout
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
</cell>
</row>
<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar@^{->}[r] & \ }
-
-
+\begin_inset Formula $\xymatrix{\ \ar@^{->}[r] & \ }
+$
\end_inset
-
+
\end_layout
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
</cell>
</row>
<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar@^{>>->>}[r] & \ }
-
-
+\begin_inset Formula $\xymatrix{\ \ar@^{>>->>}[r] & \ }
+$
\end_inset
-
+
\end_layout
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
\family typewriter
\backslash
-ar@^{>>->>}
+ar@^{>\SpecialChar ligaturebreak
+>->\SpecialChar ligaturebreak
+>}
\end_layout
\end_inset
</cell>
</row>
<row>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset Formula \xymatrix{\ \ar@{^{<}-_{>}}[r] & \ }
-
-
+\begin_inset Formula $\xymatrix{\ \ar@{^{<}-_{>}}[r] & \ }
+$
\end_inset
-
+
\end_layout
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
</cell>
</row>
<row>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
\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
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
\backslash
newdir
\family default
- command in the preample.
+ command in the preamble.
For explanations, we refer to the
\family typewriter
\backslash
ar@{-|>}[r]
\family default
- and which displays correctly in LyX as:
-\begin_inset Formula \[
+ and which displays correctly in \SpecialChar LyX
+ as:
+\begin_inset Formula
+\[
\xymatrix{A\ar@{-|>}[r] & \ \ B}
\]
\begin_layout Standard
\noindent
produces
-\begin_inset space ~
-\end_inset
-
-
-\begin_inset space ~
-\end_inset
-
-
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{\circ\ar@<1ex>[r] & \circ\ar@<1ex>[l]}
\]
-
\end_inset
\end_inset
.
- When their code is written inside LyX as above, select it and choose either
+ When their code is written inside \SpecialChar LyX
+ as above, select it and choose either
\family sans
Ctrl-m
\family default
- for inline appearence or
+ for inline appearance or
\family sans
Ctrl-M
\family default
Diagrams constructed inline can later be centered, or, conversely, centered
diagrams can be changed to inline formulas with
\family sans
-Edit\SpecialChar \menuseparator
+Edit\SpecialChar menuseparator
Math
\family default
\family sans
-\SpecialChar \menuseparator
-Alignment.
+\SpecialChar menuseparator
+Change Formula Type.
\end_layout
\begin_layout Subsection
-Bending arrows
+Bending arrows
\end_layout
\begin_layout Standard
\end_inset
/ .
- The ellipsis stands for a TeX-measure which needs to be entered as a lower
+ The ellipsis stands for a \SpecialChar TeX
+-measure which needs to be entered as a lower
or upper index.
Whereas in
\family typewriter
\end_inset
g.
-
+\begin_inset space \space{}
+\end_inset
+
+
\family typewriter
\backslash
\family typewriter
1pc
\family default
- downwards, this cannot directly be done in LyX.
+ downwards, this cannot directly be done in \SpecialChar LyX
+.
It is necessary, to enclose the measure in a pair of braces, such as e.
\begin_inset space \thinspace{}
\end_inset
g.
-
+\begin_inset space \space{}
+\end_inset
+
+
\family typewriter
\backslash
\end_layout
\begin_layout Standard
-\begin_inset Formula \[
+\begin_inset Formula
+\[
\xymatrix{A\ar@/{}_{.5pc}/[r] & B\ar@/{}_{.5pc}/[l]}
\]
\end_layout
\begin_layout Subsubsection
-Specifying exit- and entrance directions.
-
+Specifying exit- and entrance directions
\end_layout
\begin_layout Standard
\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 Subsubsection
-Framing objects
+Framing objects
\end_layout
\begin_layout Standard
\end_inset
--Pic, entries can obtain a single or a double frame, such as
+-pic, entries can obtain a single or a double frame, such as
\begin_inset Formula $\xymatrix{*+[F]{A}}
$
\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]}
\]
\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
\end_layout
\begin_layout Standard
-The LaTeX command
+The \SpecialChar LaTeX
+ command
\family typewriter
\backslash
entrymodifiers={
\family default
-\SpecialChar \ldots{}
+\SpecialChar ldots
\family typewriter
}
.
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 Section
-Using LyX's math editor
+Using \SpecialChar LyX
+'s math editor
\begin_inset CommandInset label
LatexCommand label
name "sec:math-editor"
\family sans
Ctrl-M
\family default
-, one may construct and modify the whole xypic-diagram inside LyX's math
- editor.
+, one may construct and modify the whole xypic-diagram inside \SpecialChar LyX
+'s math editor.
We describe the editing steps for a figure just like the one above.
\end_layout
\end_layout
\begin_layout Standard
-Recall that in LyX's math-editor any pair of braces
+Recall that in \SpecialChar LyX
+'s math-editor any pair of braces
\family typewriter
{
\family default
\family typewriter
@{
\family default
- \SpecialChar \ldots{}
+ \SpecialChar ldots
\family typewriter
}
\backslash
{
\family default
- and let LyX provide the closing brace and the box into which to enter the
+ and let \SpecialChar LyX
+ provide the closing brace and the box into which to enter the
description of the arrow.
\end_layout
\end_inset
g.
-
+\begin_inset space \space{}
+\end_inset
+
+
\family typewriter
{x
\backslash
At any time, further rows or columns can be entered or deleted using commands
available from
\family sans
-Edit\SpecialChar \menuseparator
+Edit\SpecialChar menuseparator
Math,
\family default
resp.
Alt-m w
\family default
for the row commands.
-
+ A more direct way uses the icons in the math toolbar once it has been activated
+ via
+\family sans
+View\SpecialChar menuseparator
+Toolbars.
\end_layout
\begin_layout Subsection
\begin_layout Standard
Next, label the arrows by attaching a label text as upper or lower indices
to the end of the arrow's path.
- As always in LyX's math editor, an underscore
+ As always in \SpecialChar LyX
+'s math editor, an underscore
\family typewriter
_
\family default
^
\family default
followed by a space opens a box for an upper index.
- You can enter any LaTeX-code as a label.
-
+ You can enter any \SpecialChar LaTeX
+-code as a label.
\end_layout
\begin_layout Subsection
-Modifying arrows
+Modifying arrows
\end_layout
\begin_layout Standard
\family typewriter
@{
\family default
-\SpecialChar \ldots{}
+\SpecialChar ldots
\family typewriter
}
\family typewriter
@<
\family default
-\SpecialChar \ldots{}
+\SpecialChar ldots
>,
\family typewriter
@(
\family default
-\SpecialChar \ldots{}
-,\SpecialChar \ldots{}
+\SpecialChar ldots
+,\SpecialChar ldots
) or
\family typewriter
@/
\family default
-\SpecialChar \ldots{}
+\SpecialChar ldots
\family typewriter
/
\backslash
{
\family default
- with the arrow description entered inside the LyX-supplied box.
+ with the arrow description entered inside the \SpecialChar LyX
+-supplied box.
If this box remains empty, you have specified an empty arrow.
This is a useful construction, too, as you will see in the next section.
\family typewriter
@<
\family default
-\SpecialChar \ldots{}
+\SpecialChar ldots
\family typewriter
>
\family typewriter
@(
\family default
-\SpecialChar \ldots{}
-,\SpecialChar \ldots{}
+\SpecialChar ldots
+,\SpecialChar ldots
\family typewriter
)
\family typewriter
@/
\family default
-\SpecialChar \ldots{}
+\SpecialChar ldots
\family typewriter
/
\emph on
measure
\emph default
- is any valid
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-TeX
-\end_layout
-
-\end_inset
-
--measure that should be entered as upper or lower index to the first slash
- /.
+ is any valid \SpecialChar 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
\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
-\emph on
-Ctrl-z
-\emph default
-, or try to translate the
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-LyX
-\end_layout
-
-\end_inset
-
+A more serious reason could be a syntactical error in your input (in that
+ case, the math edition area disappears completely).
+ If necessary, undo the last editing steps, using
+\family sans
+Ctrl+Z
+\family default
+, or try to translate the \SpecialChar LyX
-file into
-\emph on
-dvi
-\emph default
+\family sans
+DVI
+\family default
using
-\emph on
-Ctrl-d
-\emph default
+\family sans
+Ctrl+D
+\family default
or
\family sans
-View\SpecialChar \menuseparator
-Dvi
+View\SpecialChar menuseparator
+DVI
\family default
.
There should be some error generated, which hopefully gives you a hint
\end_layout
\begin_layout Standard
-Certain things do not work correctly inside
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-LyX
-\end_layout
-
-\end_inset
-
+Certain things do not work correctly inside \SpecialChar LyX
.
The ones that we (used to) miss most are the horizontal and vertical scaling
of diagrams, and the correct positioning of arrows.
\end_inset
--manual, for instance,
+-manual,
+\begin_inset CommandInset citation
+LatexCommand cite
+key "xypic manual"
+
+\end_inset
+
+, for instance,
\family typewriter
\backslash
xymatrix@R=1pc{
\family default
-\SpecialChar \ldots{}
+\SpecialChar ldots
\family typewriter
}
\end_inset
--matrix with row spacing of 1 pica.
+-matrix with row spacing of 1
+\begin_inset space ~
+\end_inset
+
+pica.
Similarly,
\family typewriter
\backslash
xymatrix@C=
\family default
-\SpecialChar \ldots{}
+\SpecialChar ldots
\family typewriter
{
\family default
-\SpecialChar \ldots{}
+\SpecialChar ldots
\family typewriter
}
\family default
allows to modify the space between columns.
- Unfortunately, these commands do currently not work inside LyX, as the
- @-character is interpreted by LyX as ending the
-\begin_inset ERT
-status collapsed
+ Unfortunately, one cannot type
+\begin_inset Quotes eld
+\end_inset
-\begin_layout Plain Layout
+\family typewriter
\backslash
-Xy
+xymatrix@R=1pc
+\family default
+
+\begin_inset Quotes erd
+\end_inset
+
+ into a formula to get the desired matrix because the @-character is interpreted
+ by \SpecialChar LyX
+ as ending the
+\family typewriter
+
+\backslash
+xymatrix
+\family default
+ command.
+ But there are two other ways of getting the desired matrix:
\end_layout
+\begin_layout Itemize
+One types e.g.
+\begin_inset space \space{}
+\end_inset
+
+
+\family typewriter
+
+\backslash
+xymatrix@R=1pc
+\family default
+ as normal document text, then either highlight it and press
+\begin_inset Info
+type "shortcut"
+arg "math-mode"
+\end_inset
+
+ to get a formula, or copy it into an existing formula.
+ You can now continue as normal.
+\begin_inset Newline newline
+\end_inset
+
+
+\begin_inset Note Greyedout
+status open
+
+\begin_layout Plain Layout
+
+\series bold
+Note:
+\series default
+ This method only works for single spacing settings, so using
+\begin_inset Newline newline
+\end_inset
+
+
+\family typewriter
+
+\backslash
+xymatrix@M=1pt
+\family default
+ is possible while
+\family typewriter
+
+\backslash
+xymatrix@M=1pt@C=1dd
+\family default
+ is not.
+ The method also don't work if you use '!' to get a fixed grid with a defined
+ dimension, e.g.
+\begin_inset space \space{}
\end_inset
--matrix-macro.
+
+\family typewriter
+
+\backslash
+xymatrix@!R=3pt
+\family default
+ fails while
+\family typewriter
+\backslash
+xymatrix@!R
+\family default
+ works.
\end_layout
-\begin_layout Standard
-Knowing that
+\end_inset
+
+
+\begin_inset Newline newline
+\end_inset
+
+For the following matrix, the command
+\family typewriter
+
+\backslash
+xymatrix@C=9pc
+\family default
+ was used:
+\begin_inset Formula
+\[
+\xymatrix@C=9pc{A\ar[r]\ar[d] & B\\
+C\ar@{}[ur]|{\text{{horizontal stretch}}}
+}
+\]
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Itemize
\begin_inset ERT
status collapsed
\begin_inset space ~
\end_inset
- stores the values for row-spacing and column-spacing in the variables
+ stores the values for row-spacing and column-spacing in the variables
+\begin_inset Newline newline
+\end_inset
+
+
\family typewriter
\backslash
\backslash
xymatrixrowsep@
\family default
-, add the following macro to the preamble (
+.
+ So one can add the following macro to the preamble (
\family sans
-Layout\SpecialChar \menuseparator
-Document\SpecialChar \menuseparator
-Preamble)
-\end_layout
+Layout\SpecialChar menuseparator
+Document\SpecialChar menuseparator
+Preamble
+\family default
+):
+\begin_inset Separator parbreak
+\end_inset
-\begin_layout LyX-Code
-\backslash
-makeatletter
\end_layout
+\begin_deeper
\begin_layout LyX-Code
\backslash
newcommand{
\backslash
-xyR}[1]{%
-\end_layout
-
-\begin_layout LyX-Code
-
-\backslash
-makeatletter
+xyR}[1]{%
\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
-\end_layout
-
-\begin_layout LyX-Code
-
+xymatrixrowsep@{#1}}
\end_layout
\begin_layout Standard
.
Now, a figure can be scaled by entering
\backslash
-xyR{...} into the
+xyR{ into the formula before the
\begin_inset ERT
status collapsed
{
\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 \SpecialChar LyX
+.
Inside the braces enter the dimensions.
- The default is
+\begin_inset Newline newline
+\end_inset
+
+
+\begin_inset Note Greyedout
+status open
+
+\begin_layout Plain Layout
+
+\series bold
+Note:
+\series default
+ these commands affect all following
+\begin_inset ERT
+status collapsed
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
+
+\end_inset
+
+-matrices.
+ Therefore don't forget to reset the values to default after the usage of
+
+\family typewriter
+
+\backslash
+xyR
+\family default
+ etc..
+\end_layout
+
+\end_inset
+
+
+\begin_inset Newline newline
+\end_inset
+
+The default is
\family typewriter
-2pt
+2pc
\family default
.
Here you see a diagram which is squashed vertically and stretched horizontally
\family typewriter
\backslash
-xyR{9pc}
+xyR{.5pc}
\backslash
-xyC{.5pc}
+xyC{9pc}
\family default
:
-\end_layout
-
-\begin_layout Standard
-\begin_inset Formula \[
-\xyC{.5pc}\xyC{9pc}\xymatrix{A\ar[r]\ar[d] & B\\
-C\ar@{}[ur]|{\text{{horizontal stretch}}}}
+\begin_inset Formula
+\[
+\xyR{.5pc}\xyC{9pc}\xymatrix{A\ar[r]\ar[d] & B\\
+C\ar@{}[ur]|{\text{{horizontal stretch}}}
+}
\]
\end_inset
+\begin_inset Formula $\xyR{2pc}\xyC{2pc}$
+\end_inset
+
+
+\begin_inset Note Note
+status collapsed
+
+\begin_layout Plain Layout
+reset to default
+\end_layout
+
+\end_inset
+
+
\end_layout
+\end_deeper
\begin_layout Subsection
Label positioning
\end_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.
\backslash
phi
\family default
-, does not work from inside LyX.
+, does not work from inside \SpecialChar LyX
+.
Instead, one has to replace the hat-symbol ^, resp.
the underscore _ , by the macros
\family typewriter
\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
g.
-
+\begin_inset space \space{}
+\end_inset
+
+
\family typewriter
(0.6)
\family default
\begin_layout Subsection
Further
\family typewriter
-
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
Xy
-\end_layout
-
-\end_inset
-
-
\family default
-tricks
\end_layout
\family default
--Pic manual
+-pic manual
\begin_inset CommandInset citation
LatexCommand cite
key "xypic manual"
\end_inset
-pic to make braids, cobordism, string diagrams, and much more.
- A good and rather systematic introduction to
+ You might want to look on
\family typewriter
-
+inset_preview.lyx
+\family default
+ example shipped with \SpecialChar LyX
+, which demonstrates how to use more advanced
\begin_inset ERT
status collapsed
\end_inset
+-commands via
+\family typewriter
+\SpecialChar TeX
+\begin_inset space ~
+\end_inset
+
+Code
\family default
--matrix is
-\begin_inset CommandInset citation
-LatexCommand cite
-key "Ouvaton"
+ and
+\family typewriter
+Instant preview
+\family default
+ insets.
+\end_layout
+\begin_layout Standard
+\begin_inset Newpage newpage
\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
-label "1"
key "xypic manual"
\end_inset
\emph on
--Pic User's Guide
+-pic User's Guide
\emph default
.
- Version 3.7, Feb.
- 16, 1999.
- Available as part of the
-\family typewriter
-xypic
-\family default
- LaTeX package.
-
-\end_layout
-
-\begin_layout Bibliography
-\begin_inset CommandInset bibitem
-LatexCommand bibitem
-label "2"
-key "instant-preview"
-
+\begin_inset Newline newline
\end_inset
\begin_layout Plain Layout
-http://www.tug.org/tex-archive/help/Catalogue/entries/preview-latex.html
+https://www.ctan.org/tex-archive/macros/generic/diagrams/xypic/doc/xyguide.pdf
\end_layout
\end_inset
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
-label "3"
-key "xypic"
+key "xypic reference"
\end_inset
+Kristoffer H.
+ Rose and Ross Moore:
+\begin_inset ERT
+status collapsed
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
+
+\end_inset
+
+
+\emph on
+-pic Reference Manual
+\emph default
+.
+\begin_inset Newline newline
+\end_inset
+
\begin_inset Flex URL
status collapsed
\begin_layout Plain Layout
-http://www.tug.org/tex-archive/help/Catalogue/entries/xypic.html
+https://www.ctan.org/tex-archive/macros/generic/diagrams/xypic/doc/xyrefer.pdf
\end_layout
\end_inset
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
-label "4"
-key "AUCTeX"
+key "xypic"
+
+\end_inset
+
+Homepage of the package
+\begin_inset ERT
+status collapsed
+
+\begin_layout Plain Layout
+
+
+\backslash
+Xy
+\end_layout
\end_inset
+\emph on
+-pic
+\emph default
+:
\begin_inset Flex URL
status collapsed
\begin_layout Plain Layout
-http://www.gnu.org/software/auctex/
+http://www.ctan.org/pkg/xypic
\end_layout
\end_inset
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
-label "5"
-key "Lauda"
+key "instant-preview"
\end_inset
-Aarlon Lauda:
-\begin_inset ERT
+Homepage of preview-latex:
+\begin_inset Newline newline
+\end_inset
+
+
+\begin_inset Flex URL
status collapsed
\begin_layout Plain Layout
-
-\backslash
-Xy
+http://www.gnu.org/software/auctex/preview-latex.html
\end_layout
\end_inset
-\emph on
--Pic
-\emph default
-
-\emph on
-tutorial with an archive of examples
-\emph default
-.
+\end_layout
+
+\begin_layout Bibliography
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "AUCTeX"
+
+\end_inset
+
+Homepage of AUC\SpecialChar TeX
+:
\begin_inset Flex URL
status collapsed
\begin_layout Plain Layout
-http://www.dpmms.cam.ac.uk/~al366/xytutorial.html
+http://www.gnu.org/software/auctex/
\end_layout
\end_inset
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
-label "6"
-key "Ouvaton"
+key "Lauda"
\end_inset
-Filipp Ouvaton:
+Aarlon Lauda:
\begin_inset ERT
status collapsed
\emph on
--Pic
+-pic
\emph default
-:
+
\emph on
-Enkonduko pri Xymatrix
+tutorial with an archive of examples
\emph default
.
-
+\begin_inset Newline newline
+\end_inset
+
+
\begin_inset Flex URL
-status collapsed
+status open
\begin_layout Plain Layout
-http://filip.ouvaton.org/xypic/xymatrix/index.html
+https://www.ctan.org/tex-archive/macros/generic/diagrams/xypic/doc/xyguide.pdf
\end_layout
\end_inset