-#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}
% define new commands used in sec. 5.1
\newcommand{\xyR}[1]{
\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
\begin_layout Title
Using
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
-status open
+status collapsed
\begin_layout Plain Layout
\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
- TeX code 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
\begin_layout Standard
In this note, we describe how
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
+-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
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 open
+status collapsed
\begin_layout Plain 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
.
If you use
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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 open
+status collapsed
\begin_layout Plain Layout
\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
explains how to use the
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\end_inset
--Pic commands inside a math-editing area.
+-pic commands inside a math-editing area.
\end_layout
\begin_layout Standard
It is not our intention to write another introduction to
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain 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 open
+status collapsed
\begin_layout Plain Layout
\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
Activate and test
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain 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
-status open
+status collapsed
\begin_layout Plain Layout
\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
\begin_layout Standard
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
work.
The corresponding
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
\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
\family typewriter
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
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
\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 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
\begin_layout Standard
With
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
-The LaTeX command
+The \SpecialChar LaTeX
+ command
\family typewriter
\backslash
entrymodifiers={
\family default
-\SpecialChar \ldots{}
+\SpecialChar ldots
\family typewriter
}
\family default
, all following entries inside
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
.
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
to the parameter is entered.
In connection with
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
1-
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
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
\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 TeX-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
+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
-\emph default
-, or try to translate the LyX-file into
-\emph on
+\family default
+, or try to translate the \SpecialChar LyX
+-file into
+\family sans
DVI
-\emph default
+\family default
using
-\emph on
+\family sans
Ctrl+D
-\emph default
+\family default
or
\family sans
-View\SpecialChar \menuseparator
+View\SpecialChar menuseparator
DVI
\family default
.
\end_layout
\begin_layout Standard
-Certain things do not work correctly inside LyX.
+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.
There are some workarounds that we are explaining here.
of an entire diagram by using spacing commands for rows and/or columns.
According to the
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\end_inset
--manual, for instance,
-\family typewriter
+-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
}
\family default
defines an
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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
+ Unfortunately, one cannot type
+\begin_inset Quotes eld
+\end_inset
+
+
+\family typewriter
+
+\backslash
+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
-Xy
-\end_layout
+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 open
+status collapsed
\begin_layout Plain Layout
\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
+Layout\SpecialChar menuseparator
+Document\SpecialChar menuseparator
Preamble
\family default
):
-\begin_inset Newpage pagebreak
+\begin_inset Separator parbreak
\end_inset
\end_layout
+\begin_deeper
\begin_layout LyX-Code
\backslash
newcommand{
\backslash
-xyR}[1]{%
+xyR}[1]{%
\end_layout
\begin_layout LyX-Code
xymatrixrowsep@{#1}}
\end_layout
-\begin_layout LyX-Code
-
-\end_layout
-
\begin_layout Standard
A macro
\family typewriter
.
Now, a figure can be scaled by entering
\backslash
-xyR{...} into the
+xyR{ into the formula before the
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\family default
or both.
Don't forget the backslashes and remember, that the closing brace is automatica
-lly supplied by LyX.
+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
-2pt
+
+\backslash
+xyR
+\family default
+ etc..
+\end_layout
+
+\end_inset
+
+
+\begin_inset Newline newline
+\end_inset
+
+The default is
+\family typewriter
+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
\begin_layout Standard
Another useful
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
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
\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 open
-
-\begin_layout Plain Layout
-
-
-\backslash
Xy
-\end_layout
-
-\end_inset
-
-
\family default
-tricks
\end_layout
\family typewriter
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\family typewriter
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\family default
--Pic manual
+-pic manual
\begin_inset CommandInset citation
LatexCommand cite
key "xypic manual"
explains how to use
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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 open
+status collapsed
\begin_layout Plain Layout
\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
Kristoffer H.
Rose:
\begin_inset ERT
-status open
+status collapsed
\begin_layout Plain Layout
\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_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
-status open
+Homepage of preview-latex:
+\begin_inset Newline newline
+\end_inset
-\begin_layout Plain Layout
+\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 open
+status collapsed
\begin_layout Plain Layout
\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