-#LyX 1.6.4 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 503
\begin_document
\begin_header
+\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
\end_inset
--pic in LyX
+-pic in \SpecialCharNoPassThru 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 \SpecialCharNoPassThru LyX
+ and with the
\family typewriter
preview
\family default
--style installed in the LaTeX-System, the graph drawing package
+-style installed in the \SpecialCharNoPassThru 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 \SpecialCharNoPassThru LyX
+.
+ Diagrams can be edited and displayed inside the main \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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 diagrams in \SpecialCharNoPassThru LaTeX
+.
+ Unfortunately, its use in \SpecialCharNoPassThru LyX
+ had long been restricted to the infamous
+ \SpecialCharNoPassThru TeX
+ code boxes, meaning that the \SpecialCharNoPassThru LyX
+ editor could only display the \SpecialCharNoPassThru 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 \SpecialCharNoPassThru LaTeX
+ which is part of the AUC\SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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
+-pic can be used from inside \SpecialCharNoPassThru LyX
+, how diagrams can be created and edited.
+ We have tested the following using \SpecialCharNoPassThru LyX
+ versions 1.3.7 up to 1.6, running under
Windows
\begin_inset space \thinspace{}
\end_inset
\end_inset
--Pic code inside the LyX-window, select it all and convert it to a graphical
+-pic code inside the \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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 \SpecialCharNoPassThru LyX
+.
\end_layout
\end_layout
\begin_layout Standard
-The following requires that the LaTeX-packages
+The following requires that the \SpecialCharNoPassThru LaTeX
+-packages
\family typewriter
xypic
\family default
\family typewriter
preview
\family default
- are installed in the LaTeX system.
+ are installed in the \SpecialCharNoPassThru 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 \SpecialCharNoPassThru LyX
+ menu.
+ The steps to a first diagram output in \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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
\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 \SpecialCharNoPassThru 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
+The pattern should be familiar from \SpecialCharNoPassThru LaTeX
+: We see three rows, the first
two being terminated by the end-of-line-marker
\family typewriter
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,
+ In \SpecialCharNoPassThru LyX
+ this works only for labels which are placed on top of the arrow,
such as
\family typewriter
\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 \SpecialCharNoPassThru 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 rotate="0" 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 \SpecialCharNoPassThru 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
\family typewriter
\backslash
-ar@{-->}
+ar@{\twohyphens
+>}
\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
\family typewriter
\backslash
-ar@{-->>}
+ar@{\twohyphens
+>>}
\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_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 rotate="0" 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 \SpecialCharNoPassThru 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
\backslash
-ar@2{--}
+ar@2{\twohyphens
+}
\end_layout
\end_inset
\backslash
ar@{-|>}[r]
\family default
- and which displays correctly in LyX as:
-\begin_inset Formula \[
+ and which displays correctly in \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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
\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 \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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
+, one may construct and modify the whole xypic-diagram inside \SpecialCharNoPassThru LyX
+'s math
editor.
We describe the editing steps for a figure just like the one above.
\end_layout
\begin_layout Standard
-Recall that in LyX's math-editor any pair of braces
+Recall that in \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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
+ is any valid \SpecialCharNoPassThru 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
-\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 \SpecialCharNoPassThru 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 \SpecialCharNoPassThru 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.
\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 \SpecialCharNoPassThru 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
--matrix-macro.
+
+\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
+
+
+\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
+Layout\SpecialChar menuseparator
+Document\SpecialChar menuseparator
Preamble
\family default
):
-\begin_inset Newpage pagebreak
+\family default
+\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 collapsed
\family default
or both.
Don't forget the backslashes and remember, that the closing brace is automatica
-lly supplied by LyX.
+lly supplied by \SpecialCharNoPassThru 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
\backslash
phi
\family default
-, does not work from inside LyX.
+, does not work from inside \SpecialCharNoPassThru 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 \SpecialCharNoPassThru LyX
+, which demonstrates how to use more advanced
\begin_inset ERT
status collapsed
\end_inset
+-commands via
+\family typewriter
+\SpecialCharNoPassThru 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
+http://mirrors.ctan.org/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
+http://mirrors.ctan.org/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\SpecialCharNoPassThru 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
+http://www.math.columbia.edu/~lauda/xy/
\end_layout
\end_inset
projects / lyx.git / blobdiff