mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-27 14:29:21 +00:00
a15303b938
Especially after the change to use semantic linefeeds (7b23c76b),
the diffs are large and it's hard to figure out what diff is the
result of the linefeed change and which diff is the result of an
edit.
By updating the docs, it will make the edits easier to understand
from the diff.
This commit used the LyX binary to write the new .lyx files since
lyx2lyx does not apply semantic linefeeds.
I used the following command:
./development/tools/updatedocs.py [path to 'lyx' binary]
A few documents were not updated (e.g., the command sequence used
failed because a dialog about a missing dependency was shown).
I did not update Additional.lyx for any language since it is
undergoing changes. I also didn't change anything in doc/fr since JP
is working on some of those. I also didn't change doc/ru since it
appears Yuriy already updated those.
4073 lines
63 KiB
Plaintext
4073 lines
63 KiB
Plaintext
#LyX 2.4 created this file. For more info see https://www.lyx.org/
|
|
\lyxformat 612
|
|
\begin_document
|
|
\begin_header
|
|
\save_transient_properties true
|
|
\origin /systemlyxdir/examples/Graphics_and_Insets/
|
|
\textclass scrartcl
|
|
\begin_preamble
|
|
% 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]{
|
|
\xydef@\xymatrixrowsep@{#1}}
|
|
\newcommand{\xyC}[1]{
|
|
\xydef@\xymatrixcolsep@{#1}}
|
|
|
|
\newdir{|>}{!/4.5pt/@{|}*:(1,-.2)@^{>}*:(1,+.2)@_{>}}
|
|
|
|
% a pdf-bookmark for the TOC is added
|
|
\let\myTOC\tableofcontents
|
|
\renewcommand\tableofcontents{%
|
|
\pdfbookmark[1]{\contentsname}{}
|
|
\myTOC }
|
|
|
|
% redefine the \LyX macro for PDF bookmarks
|
|
\def\LyX{\texorpdfstring{%
|
|
L\kern-.1667em\lower.25em\hbox{Y}\kern-.125emX\@}
|
|
{LyX}}
|
|
|
|
% 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 no
|
|
\language english
|
|
\language_package default
|
|
\inputencoding utf8
|
|
\fontencoding auto
|
|
\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_roman_osf false
|
|
\font_sans_osf false
|
|
\font_typewriter_osf false
|
|
\font_sf_scale 100 100
|
|
\font_tt_scale 100 100
|
|
\use_microtype false
|
|
\use_dash_ligatures false
|
|
\graphics default
|
|
\default_output_format default
|
|
\output_sync 0
|
|
\bibtex_command default
|
|
\index_command default
|
|
\paperfontsize 12
|
|
\spacing single
|
|
\use_hyperref true
|
|
\pdf_title "Using XY-pc in LyX"
|
|
\pdf_author "H. Peter Gumm"
|
|
\pdf_subject "LyX's XY-pic manual"
|
|
\pdf_keywords "LyX, documentation"
|
|
\pdf_bookmarks true
|
|
\pdf_bookmarksnumbered true
|
|
\pdf_bookmarksopen true
|
|
\pdf_bookmarksopenlevel 2
|
|
\pdf_breaklinks false
|
|
\pdf_pdfborder false
|
|
\pdf_colorlinks true
|
|
\pdf_backref false
|
|
\pdf_pdfusetitle false
|
|
\pdf_quoted_options "linkcolor=black, citecolor=black, urlcolor=blue, filecolor=blue,pdfpagelayout=OneColumn, pdfnewwindow=true,pdfstartview=XYZ, plainpages=false"
|
|
\papersize a4
|
|
\use_geometry false
|
|
\use_package amsmath 1
|
|
\use_package amssymb 1
|
|
\use_package cancel 1
|
|
\use_package esint 1
|
|
\use_package mathdots 1
|
|
\use_package mathtools 1
|
|
\use_package mhchem 1
|
|
\use_package stackrel 1
|
|
\use_package stmaryrd 1
|
|
\use_package undertilde 1
|
|
\cite_engine basic
|
|
\cite_engine_type default
|
|
\biblio_style plain
|
|
\use_bibtopic false
|
|
\use_indices false
|
|
\paperorientation portrait
|
|
\suppress_date true
|
|
\justification true
|
|
\use_refstyle 0
|
|
\use_minted 0
|
|
\use_lineno 0
|
|
\notefontcolor #0000ff
|
|
\index Index
|
|
\shortcut idx
|
|
\color #008000
|
|
\end_index
|
|
\secnumdepth 3
|
|
\tocdepth 3
|
|
\paragraph_separation indent
|
|
\paragraph_indentation default
|
|
\is_math_indent 0
|
|
\math_numbering_side default
|
|
\quotes_style english
|
|
\dynamic_quotes 0
|
|
\papercolumns 1
|
|
\papersides 2
|
|
\paperpagestyle default
|
|
\tablestyle default
|
|
\tracking_changes false
|
|
\output_changes false
|
|
\change_bars false
|
|
\postpone_fragile_content false
|
|
\html_math_output 0
|
|
\html_css_as_file 0
|
|
\html_be_strict true
|
|
\docbook_table_output 0
|
|
\docbook_mathml_prefix 1
|
|
\end_header
|
|
|
|
\begin_body
|
|
|
|
\begin_layout Title
|
|
Using
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-pic in \SpecialChar LyX
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Author
|
|
H.
|
|
Peter Gumm
|
|
\end_layout
|
|
|
|
\begin_layout Abstract
|
|
With the recent versions of \SpecialChar LyX
|
|
and with the
|
|
\family typewriter
|
|
preview
|
|
\family default
|
|
-style installed in the \SpecialChar LaTeX
|
|
-System,
|
|
the graph drawing package
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-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
|
|
|
|
\backslash
|
|
xymatrix
|
|
\family default
|
|
command from
|
|
\family typewriter
|
|
xypic
|
|
\family default
|
|
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
|
|
|
|
\begin_layout Abstract
|
|
\begin_inset CommandInset toc
|
|
LatexCommand tableofcontents
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Section
|
|
Introduction
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
The
|
|
\family typewriter
|
|
xypic
|
|
\family default
|
|
-package has long served as a convenient tool for easily constructing graphs 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 \SpecialChar LaTeX
|
|
which is part of the AUC\SpecialChar TeX
|
|
project
|
|
\begin_inset CommandInset citation
|
|
LatexCommand cite
|
|
key "AUCTeX"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
,
|
|
finally enables the editing and displaying of
|
|
\family typewriter
|
|
xypic
|
|
\family default
|
|
-diagrams,
|
|
constructed,
|
|
displayed and interactively edited inside \SpecialChar LyX
|
|
.
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\begin_inset VSpace defskip
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\align center
|
|
\begin_inset Graphics
|
|
filename xyfigure.png
|
|
width 75col%
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\begin_inset VSpace defskip
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
In this note,
|
|
we describe how
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-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
|
|
|
|
\begin_layout Standard
|
|
There are two modes of operations:
|
|
For a start,
|
|
and for some first tests,
|
|
it may be easiest to first enter the
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-pic code inside the \SpecialChar LyX
|
|
-window,
|
|
select it all and convert it to a graphical representation by pressing
|
|
\family sans
|
|
Ctrl-m
|
|
\family default
|
|
or
|
|
\family sans
|
|
Ctrl-M
|
|
\family default
|
|
.
|
|
If you use
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_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 \SpecialChar LyX
|
|
's math editor.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Once the cursor is moved over a diagram,
|
|
this is displayed as an array of nodes and arrow-commands.
|
|
These can be changed interactively.
|
|
When the cursor leaves the editing area,
|
|
the diagram reappears.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
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
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-pic features that might be of use for drawing commutative diagrams,
|
|
graphs or automata.
|
|
Section
|
|
\begin_inset CommandInset ref
|
|
LatexCommand ref
|
|
reference "sec:math-editor"
|
|
nolink "false"
|
|
|
|
\end_inset
|
|
|
|
explains how to use the
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-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 collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-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
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-pic manual
|
|
\begin_inset CommandInset citation
|
|
LatexCommand cite
|
|
key "xypic manual"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
will not always function correctly inside \SpecialChar LyX
|
|
.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Section
|
|
Preparation
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
The following requires that the \SpecialChar LaTeX
|
|
-packages
|
|
\family typewriter
|
|
xypic
|
|
\family default
|
|
and
|
|
\family typewriter
|
|
preview
|
|
\family default
|
|
are installed in the \SpecialChar LaTeX
|
|
system.
|
|
They are available from CTAN,
|
|
see at
|
|
\begin_inset CommandInset citation
|
|
LatexCommand cite
|
|
key "instant-preview"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
,
|
|
resp.
|
|
at
|
|
\begin_inset CommandInset citation
|
|
LatexCommand cite
|
|
key "xypic"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
.
|
|
After freshly installing them,
|
|
it may be necessary,
|
|
to run
|
|
\family sans
|
|
Tools\SpecialChar menuseparator
|
|
Reconfigure
|
|
\family default
|
|
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
|
|
\end_layout
|
|
|
|
\begin_deeper
|
|
\begin_layout Enumerate
|
|
Open \SpecialChar LyX
|
|
,
|
|
choose
|
|
\family sans
|
|
Tools\SpecialChar menuseparator
|
|
Preferences\SpecialChar menuseparator
|
|
Look and Feel\SpecialChar menuseparator
|
|
Display
|
|
\family default
|
|
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
|
|
Test,
|
|
if
|
|
\family typewriter
|
|
instant-preview
|
|
\family default
|
|
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
|
|
|
|
.
|
|
|
|
\end_layout
|
|
|
|
\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.
|
|
|
|
\end_layout
|
|
|
|
\end_deeper
|
|
\begin_layout Enumerate
|
|
Activate and test
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-pic
|
|
\family typewriter
|
|
:
|
|
\end_layout
|
|
|
|
\begin_deeper
|
|
\begin_layout Enumerate
|
|
Inside your \SpecialChar LyX
|
|
-Document,
|
|
enter the text
|
|
\family typewriter
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
|
|
\backslash
|
|
xymatrix{A
|
|
\backslash
|
|
ar[r] & B}
|
|
\family default
|
|
.
|
|
\end_layout
|
|
|
|
\begin_layout Enumerate
|
|
Select the whole text and choose
|
|
\family sans
|
|
Insert\SpecialChar menuseparator
|
|
Math\SpecialChar menuseparator
|
|
Display Formula
|
|
\family default
|
|
,
|
|
or use the corresponding keyboard shortcut
|
|
\family sans
|
|
Ctrl-M
|
|
\family default
|
|
.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Enumerate
|
|
Move the mouse cursor out of the editing box and wait for a split second to see an arrow appear:
|
|
|
|
\begin_inset Formula $\xymatrix{A\ar[r] & B}
|
|
$
|
|
\end_inset
|
|
|
|
.
|
|
\end_layout
|
|
|
|
\end_deeper
|
|
\begin_layout Section
|
|
Commutative diagrams
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
The following diagram,
|
|
which is taken from the documentation of
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-pic
|
|
\begin_inset CommandInset citation
|
|
LatexCommand cite
|
|
key "xypic manual"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
by its creator Kristoffer H.
|
|
Rose,
|
|
will provide an example for many of the features available with that package.
|
|
Its source code is:
|
|
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
|
|
\backslash
|
|
xymatrix{
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
U
|
|
\backslash
|
|
ar@/_{1pc}/[ddr]_
|
|
\backslash
|
|
psi
|
|
\backslash
|
|
ar@/^{1pc}/[drr]^
|
|
\backslash
|
|
varphi
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
|
|
\backslash
|
|
ar@{.>}[dr]|-{(x,y)}
|
|
\backslash
|
|
|
|
\backslash
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
& X
|
|
\backslash
|
|
times_Z Y
|
|
\backslash
|
|
ar[d]^q
|
|
\backslash
|
|
ar[r]_p & X
|
|
\backslash
|
|
ar[d]_f
|
|
\backslash
|
|
|
|
\backslash
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
& Y
|
|
\backslash
|
|
ar[r]^g & Z }
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Again,
|
|
to turn this code into a graphical output,
|
|
select it all at once starting from the
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xymatrix{
|
|
\family default
|
|
\SpecialChar ldots
|
|
up to the closing brace \SpecialChar ldots
|
|
|
|
\family typewriter
|
|
}
|
|
\family default
|
|
and turn it into display-math as explained above.
|
|
A moment after the cursor leaves the math-area,
|
|
you should see the diagram in its full graphical glory as shown below.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\begin_inset Formula $\xymatrix{U\ar@/_{1pc}/[ddr]_{\psi}\ar@/{}^{1pc}/[drr]^{\varphi}\ar@{.>}[dr]|-{(x,y)}\\
|
|
& X\times_{Z}Y\ar[d]^{q}\ar[r]_{p} & X\ar[d]_{f}\\
|
|
& Y\ar[r]^{g} & Z
|
|
}
|
|
$
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Subsection
|
|
The matrix layout of diagrams
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
|
|
\family typewriter
|
|
xymatrix
|
|
\family default
|
|
uses a matrix to define the layout of the vertices of a diagram.
|
|
For the above example,
|
|
we need a
|
|
\begin_inset Formula $3\times3$
|
|
\end_inset
|
|
|
|
-matrix of which 5 entries are used for the vertices
|
|
\begin_inset Formula $U$
|
|
\end_inset
|
|
|
|
,
|
|
|
|
\begin_inset Formula $X\times_{Z}Y$
|
|
\end_inset
|
|
|
|
,
|
|
|
|
\begin_inset Formula $X$
|
|
\end_inset
|
|
|
|
,
|
|
|
|
\begin_inset Formula $Y$
|
|
\end_inset
|
|
|
|
,
|
|
|
|
\begin_inset Formula $Z$
|
|
\end_inset
|
|
|
|
,
|
|
the other positions remaining empty.
|
|
In this case,
|
|
the following matrix determines the layout:
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
|
|
\backslash
|
|
xymatrix{
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
U
|
|
\backslash
|
|
|
|
\backslash
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
& X
|
|
\backslash
|
|
times_Z Y & X
|
|
\backslash
|
|
|
|
\backslash
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
& Y & Z }
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
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
|
|
|
|
\backslash
|
|
|
|
\family default
|
|
.
|
|
Each line consists of entries,
|
|
separated by the ampersand
|
|
\family typewriter
|
|
&
|
|
\family default
|
|
.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Subsection
|
|
Arrows
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Having entered the vertices,
|
|
we add arrows between them.
|
|
The basic
|
|
\family typewriter
|
|
xypic
|
|
\family default
|
|
-command to produce an arrow is
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar
|
|
\family default
|
|
,
|
|
it is entered into the cell of the matrix where the arrow is to start.
|
|
The target of the arrow is defined by direction commands
|
|
\family typewriter
|
|
u
|
|
\family default
|
|
(up)
|
|
\family typewriter
|
|
d
|
|
\family default
|
|
(down)
|
|
\family typewriter
|
|
l
|
|
\family default
|
|
(left),
|
|
or
|
|
\family typewriter
|
|
r
|
|
\family default
|
|
(right).
|
|
These can be combined to a path and enclosed in square brackets.
|
|
As an example,
|
|
the arrows from the vertex
|
|
\begin_inset Formula $U$
|
|
\end_inset
|
|
|
|
in the upper left corner down and right to the vertices
|
|
\begin_inset Formula $X\times_{Z}Y$
|
|
\end_inset
|
|
|
|
,
|
|
|
|
\begin_inset Formula $Y$
|
|
\end_inset
|
|
|
|
,
|
|
and
|
|
\begin_inset Formula $X$
|
|
\end_inset
|
|
|
|
are,
|
|
respectively,
|
|
defined as
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[dr]
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[ddr]
|
|
\family default
|
|
and
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[drr]
|
|
\family default
|
|
.
|
|
Thus the above diagram with all arrows added becomes:
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
|
|
\backslash
|
|
xymatrix{
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
U
|
|
\backslash
|
|
ar[ddr]
|
|
\backslash
|
|
ar[drr]
|
|
\backslash
|
|
ar[dr]
|
|
\backslash
|
|
|
|
\backslash
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
& X
|
|
\backslash
|
|
times_Z Y
|
|
\backslash
|
|
ar[d]
|
|
\backslash
|
|
ar[r]& X
|
|
\backslash
|
|
ar[d]
|
|
\backslash
|
|
|
|
\backslash
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
& Y
|
|
\backslash
|
|
ar[r] & Z }
|
|
\end_layout
|
|
|
|
\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
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Subsection
|
|
Labels
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Labels are attached to arrows by affixing them as upper or lower indices to the
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar
|
|
\family default
|
|
-command.
|
|
Thus,
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[drr]^
|
|
\backslash
|
|
varphi
|
|
\family default
|
|
defines an arrow going one cell down,
|
|
two to the right and having the label
|
|
\begin_inset Formula $\varphi$
|
|
\end_inset
|
|
|
|
attached above.
|
|
To attach a label below the arrow,
|
|
make it a lower index as in
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[ddr]_
|
|
\backslash
|
|
psi
|
|
\family default
|
|
.
|
|
This explanation is correct only for arrows pointing to the right.
|
|
More precisely,
|
|
imagine looking along the arrow in the direction it is pointing.
|
|
Then an upper index places a label to the left and a lower index places it to the right.
|
|
Consequently,
|
|
an arrow pointing from right to left,
|
|
such as
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[l]^
|
|
\backslash
|
|
alpha_
|
|
\backslash
|
|
beta
|
|
\family default
|
|
will have label
|
|
\begin_inset Formula $\alpha$
|
|
\end_inset
|
|
|
|
below and label
|
|
\begin_inset Formula $\beta$
|
|
\end_inset
|
|
|
|
above the arrow,
|
|
e.
|
|
\begin_inset space \thinspace{}
|
|
\end_inset
|
|
|
|
g.
|
|
\begin_inset space \space{}
|
|
\end_inset
|
|
|
|
|
|
\begin_inset Formula $\xymatrix{\ & \ \ar[l]_{\beta}^{\alpha}.}
|
|
$
|
|
\end_inset
|
|
|
|
Using the character | instead of ^ or _ ,
|
|
it is even possible to place the label right onto the arrow,
|
|
obscuring part of its shaft.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Normally,
|
|
a label is placed halfway between an arrow's start and target objects.
|
|
In the first diagram,
|
|
the central arrow starting in
|
|
\begin_inset Formula $U$
|
|
\end_inset
|
|
|
|
has the label
|
|
\begin_inset Formula $(x,y)$
|
|
\end_inset
|
|
|
|
in the middle of the arrow's shaft,
|
|
rather than in the middle between the two objects it connects.
|
|
This is achieved by prefixing the label with a minus sign,
|
|
here:
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[dr]|-{(x,y)}
|
|
\family default
|
|
.
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
|
|
\backslash
|
|
xymatrix{
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
U
|
|
\backslash
|
|
ar[ddr]_
|
|
\backslash
|
|
psi
|
|
\backslash
|
|
ar[drr]^
|
|
\backslash
|
|
varphi
|
|
\backslash
|
|
ar[dr]|-{(x,y)}
|
|
\backslash
|
|
|
|
\backslash
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
& X
|
|
\backslash
|
|
times_Z Y
|
|
\backslash
|
|
ar[d]^q
|
|
\backslash
|
|
ar[r]_p& X
|
|
\backslash
|
|
ar[d]_f
|
|
\backslash
|
|
|
|
\backslash
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
& Y
|
|
\backslash
|
|
ar[r]^g & Z }
|
|
\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
|
|
}
|
|
$
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-pic normally permits labels to be shifted towards the tip or towards the start of an arrow by prefixing the label with a ratio,
|
|
such as e.
|
|
\begin_inset space \thinspace{}
|
|
\end_inset
|
|
|
|
g.
|
|
\begin_inset space \space{}
|
|
\end_inset
|
|
|
|
|
|
\family typewriter
|
|
(.3)
|
|
\family default
|
|
.
|
|
In \SpecialChar LyX
|
|
this works only for labels which are placed on top of the arrow,
|
|
such as
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[r]|(0.3){
|
|
\backslash
|
|
phi}
|
|
\family default
|
|
.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
For labels placed to the left or to the right of the arrow this does not work.
|
|
The corresponding
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-pic code such as e.
|
|
\begin_inset space \thinspace{}
|
|
\end_inset
|
|
|
|
g.
|
|
\begin_inset space \space{}
|
|
\end_inset
|
|
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[r]^(.3)
|
|
\backslash
|
|
phi
|
|
\family default
|
|
or
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[r]_(.3)
|
|
\backslash
|
|
psi
|
|
\family default
|
|
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
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Modification of the design,
|
|
the form or the positioning of arrows are introduced by the
|
|
\family typewriter
|
|
@
|
|
\family default
|
|
-character.
|
|
This is followed by a pair of matching brackets,
|
|
where the form of the bracket pair,
|
|
|
|
\family typewriter
|
|
{ }
|
|
\family default
|
|
or
|
|
\family typewriter
|
|
< >
|
|
\family default
|
|
or
|
|
\family typewriter
|
|
/ /
|
|
\family default
|
|
indicates,
|
|
whether we want to modify the design,
|
|
the or the curvature of the arrow.
|
|
Various modifications can be applied to an arrow at the same time.
|
|
\end_layout
|
|
|
|
\begin_layout Subsubsection
|
|
Arrow design
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Various designs such as
|
|
\emph on
|
|
solid
|
|
\emph default
|
|
,
|
|
|
|
\emph on
|
|
dotted
|
|
\emph default
|
|
,
|
|
|
|
\emph on
|
|
dashed
|
|
\emph default
|
|
or
|
|
\emph on
|
|
double
|
|
\emph default
|
|
are possible for the shaft of an arrow.
|
|
These can be combined with various ends and various tips.
|
|
In general,
|
|
the design of an arrow is described by following the command
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar
|
|
\family default
|
|
immediately by an
|
|
\family typewriter
|
|
@
|
|
\family default
|
|
-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 real thing.
|
|
For instance
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{>..>>}
|
|
\family default
|
|
produces an arrow with split end,
|
|
a dotted shaft and double head.
|
|
A number of other arrow designs is given in the table below.
|
|
Note that the ends of embedding arrows
|
|
\begin_inset Formula $\xymatrix{A\ar@{^{(}->}[r] & B}
|
|
$
|
|
\end_inset
|
|
|
|
are described by raising or lowering opening parentheses,
|
|
such as in
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{^(->}[r].
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\align center
|
|
\begin_inset Tabular
|
|
<lyxtabular version="3" rows="11" columns="2">
|
|
<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_layout Plain Layout
|
|
Result
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
Source code in \SpecialChar LyX
|
|
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
\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">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
\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">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{-->}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
\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">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{..>}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
\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">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{~>}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
\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">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{->>}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
\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">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{-->>}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
\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">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{>->>}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
\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">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{_(->}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
\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">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{^(->}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
\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">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{|-|}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
</lyxtabular>
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\noindent
|
|
Following the @-character by either a 2,
|
|
3,
|
|
_ or a ^,
|
|
we can produce arrows with double,
|
|
triple shaft or arrows showing only the lower or upper half of their tips and ends.
|
|
Arrows need not have tips nor ends,
|
|
as the last example shows:
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\align center
|
|
\begin_inset Tabular
|
|
<lyxtabular version="3" rows="8" columns="2">
|
|
<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" rightline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
Result
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
Source code for \SpecialChar LyX
|
|
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<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] & \ }
|
|
$
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
<cell alignment="center" valignment="top" topline="true" rightline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@2
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<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] & \ }
|
|
$
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
<cell alignment="center" valignment="top" topline="true" rightline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@3
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<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] & \ }
|
|
$
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
<cell alignment="center" valignment="top" topline="true" rightline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@_{->}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<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] & \ }
|
|
$
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
<cell alignment="center" valignment="top" topline="true" rightline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@^{->}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<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] & \ }
|
|
$
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
<cell alignment="center" valignment="top" topline="true" rightline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@^{>\SpecialChar ligaturebreak
|
|
>->\SpecialChar ligaturebreak
|
|
>}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<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] & \ }
|
|
$
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
|
|
\begin_inset Text
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{^<-_>}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
<row>
|
|
<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] & \ }
|
|
$
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
<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{--}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
</cell>
|
|
</row>
|
|
</lyxtabular>
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Subsubsection
|
|
Designing your own arrows
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Within certain limits there is even a way to design your own arrows.
|
|
Using some the characters
|
|
\family typewriter
|
|
><|ox+/()[
|
|
\family default
|
|
one can even design one's own arrow tips using the
|
|
\family typewriter
|
|
|
|
\backslash
|
|
newdir
|
|
\family default
|
|
command in the preamble.
|
|
For explanations,
|
|
we refer to the
|
|
\family typewriter
|
|
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\family default
|
|
-manual,
|
|
from which we take the example:
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
newdir{|>}{!/4.5pt/@{|}*:(1,-.2)@^{>}*:(1,+.2)@_{>}}
|
|
\family default
|
|
.
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\noindent
|
|
This defines a new arrow tip,
|
|
referred to as
|
|
\family typewriter
|
|
|>
|
|
\family default
|
|
in
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{-|>}[r]
|
|
\family default
|
|
and which displays correctly in \SpecialChar LyX
|
|
as:
|
|
\begin_inset Formula
|
|
\[
|
|
\xymatrix{A\ar@{-|>}[r] & \ \ B}
|
|
\]
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Subsection
|
|
Arrow positioning
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Arrows are shifted sideways with the modifier
|
|
\family typewriter
|
|
@<
|
|
\family default
|
|
|
|
\begin_inset Formula $\ldots$
|
|
\end_inset
|
|
|
|
|
|
\family typewriter
|
|
>
|
|
\family default
|
|
where the ellipsis is replaced by a positive or negative measure.
|
|
For instance,
|
|
to design a pair of mutually opposing arrows between two nodes,
|
|
we shift them to see them apart.
|
|
Note that the direction of the shift (positive) is to the left if one looks along the arrow.
|
|
Thus
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xymatrix{
|
|
\backslash
|
|
circ
|
|
\backslash
|
|
ar@<1ex>[r]&
|
|
\backslash
|
|
circ
|
|
\backslash
|
|
ar@<1ex>[l]}
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\noindent
|
|
produces
|
|
\begin_inset Formula
|
|
\[
|
|
\xymatrix{\circ\ar@<1ex>[r] & \circ\ar@<1ex>[l]}
|
|
\]
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Subsubsection
|
|
Inline or centered diagrams
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Arrows and diagrams can be used inline,
|
|
such as this one:
|
|
|
|
\begin_inset Formula $\xymatrix{\circ\ar@<1ex>[r] & \circ\ar@<1ex>[l]}
|
|
$
|
|
\end_inset
|
|
|
|
.
|
|
When their code is written inside \SpecialChar LyX
|
|
as above,
|
|
select it and choose either
|
|
\family sans
|
|
Ctrl-m
|
|
\family default
|
|
for inline appearance or
|
|
\family sans
|
|
Ctrl-M
|
|
\family default
|
|
for displaystyle.
|
|
Diagrams constructed inline can later be centered,
|
|
or,
|
|
conversely,
|
|
centered diagrams can be changed to inline formulas with
|
|
\family sans
|
|
Edit\SpecialChar menuseparator
|
|
Math
|
|
\family default
|
|
|
|
\family sans
|
|
\SpecialChar menuseparator
|
|
Change Formula Type.
|
|
\end_layout
|
|
|
|
\begin_layout Subsection
|
|
Bending arrows
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
There are two simple methods to make arrows bend.
|
|
The first is giving an explicit value by which the midpoint of the arrow's shaft is raised or depressed,
|
|
the other is by forcing the arrow to leave its origin in a prescribed compass direction and to make him enter the target at another direction.
|
|
The necessary bending of the arrow is determined automatically.
|
|
We describe both methods.
|
|
\end_layout
|
|
|
|
\begin_layout Subsubsection
|
|
Raising the shaft
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
For bending arrows we use the modifier
|
|
\family typewriter
|
|
@/
|
|
\family default
|
|
|
|
\begin_inset Formula $\ldots$
|
|
\end_inset
|
|
|
|
|
|
\family typewriter
|
|
/
|
|
\family default
|
|
.
|
|
The ellipsis stands for a \SpecialChar TeX
|
|
-measure which needs to be entered as a lower or upper index.
|
|
Whereas in
|
|
\family typewriter
|
|
xypic
|
|
\family default
|
|
,
|
|
we could simply write,
|
|
e.
|
|
\begin_inset space \thinspace{}
|
|
\end_inset
|
|
|
|
g.
|
|
\begin_inset space \space{}
|
|
\end_inset
|
|
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@/_1pc/
|
|
\family default
|
|
for an arrow bending
|
|
\family typewriter
|
|
1pc
|
|
\family default
|
|
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
|
|
ar@/_{1pc}/
|
|
\family default
|
|
.
|
|
As an example,
|
|
here are two opposing arrows between
|
|
\begin_inset Formula $A$
|
|
\end_inset
|
|
|
|
and
|
|
\begin_inset Formula $B$
|
|
\end_inset
|
|
|
|
,
|
|
each bending by .5 pica,
|
|
given by the following source code:
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xymatrix{A
|
|
\backslash
|
|
ar@/_{.5pc}/[r] & B
|
|
\backslash
|
|
ar@/_{.5pc}/[l]}
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\begin_inset Formula
|
|
\[
|
|
\xymatrix{A\ar@/{}_{.5pc}/[r] & B\ar@/{}_{.5pc}/[l]}
|
|
\]
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Subsubsection
|
|
Specifying exit- and entrance directions
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
An alternative for making arrows bend is by specifying their compass direction as they are leaving their source and their direction from which they enter their target.
|
|
Instead of north,
|
|
north-east,
|
|
east,
|
|
etc.,
|
|
the directions are named
|
|
\family typewriter
|
|
u
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
ur
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
r
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
dr
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
d
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
dl
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
l
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
ul
|
|
\family default
|
|
,
|
|
standing for up,
|
|
up-right,
|
|
right,
|
|
down-right,
|
|
etc..
|
|
A direction is specified as
|
|
\family typewriter
|
|
@(
|
|
\family default
|
|
\emph on
|
|
out
|
|
\emph default
|
|
,
|
|
\emph on
|
|
in
|
|
\family typewriter
|
|
\emph default
|
|
)
|
|
\family default
|
|
where
|
|
\emph on
|
|
out
|
|
\emph default
|
|
stands for the direction the first object is left and
|
|
\emph on
|
|
in
|
|
\emph default
|
|
stands for the direction from which the target is entered.
|
|
As an example,
|
|
we show some bending arrows and a loop,
|
|
which arises when we do not specify a target for an arrow,
|
|
just its incoming and outgoing direction:
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\begin_inset Formula
|
|
\[
|
|
\xymatrix{A\ar@(dr,dl)[r]\ar@(dr,dl)[rr] & B\ar@(d,r)[dl] & C\\
|
|
E\ar@(ul,ur)
|
|
}
|
|
\]
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
|
|
\backslash
|
|
xymatrix{A
|
|
\backslash
|
|
ar@(dr,dl)[r]
|
|
\backslash
|
|
ar@(dr,dl)[rr]
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
&B
|
|
\backslash
|
|
ar@(d,r)[dl] &C
|
|
\backslash
|
|
|
|
\backslash
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
E
|
|
\backslash
|
|
ar@(ul,ur)}
|
|
\end_layout
|
|
|
|
\begin_layout Subsection
|
|
Modifying vertices
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
The above example is reminiscent of an automata diagram,
|
|
except that in such a diagram states would be enclosed in small circles,
|
|
with double circles denoting final states.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Subsubsection
|
|
Framing objects
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
With
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-pic,
|
|
entries can obtain a single or a double frame,
|
|
such as
|
|
\begin_inset Formula $\xymatrix{*+[F]{A}}
|
|
$
|
|
\end_inset
|
|
|
|
or
|
|
\begin_inset Formula $\xymatrix{*+[F=]{B}}
|
|
$
|
|
\end_inset
|
|
|
|
by prefixing an entry with
|
|
\family typewriter
|
|
*[F-]
|
|
\family default
|
|
or
|
|
\family typewriter
|
|
*[F=]
|
|
\family default
|
|
and enclosing the portion of the entry to be framed in braces.
|
|
Normally,
|
|
the frame will be very tight so that it must be widened by prefixing with
|
|
\family typewriter
|
|
+
|
|
\family default
|
|
or with
|
|
\family typewriter
|
|
++
|
|
\family default
|
|
.
|
|
Round frames,
|
|
such as
|
|
\begin_inset Formula $\xymatrix{*++[o][F]{A}}
|
|
$
|
|
\end_inset
|
|
|
|
and
|
|
\begin_inset Formula $\xymatrix{*++[o][F=]{B}}
|
|
$
|
|
\end_inset
|
|
|
|
are obtained by specifying the shape as
|
|
\family typewriter
|
|
[o].
|
|
|
|
\family default
|
|
So the latter figure was constructed as *++[o][F=]{B}.
|
|
This way,
|
|
the following automaton
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\begin_inset Formula
|
|
\[
|
|
\xymatrix{\txt{start}\ar[r] & *++[o][F]{1}\ar[r] & *++[o][F=]{2}\ar@(ur,dr)\ar@(ur,ul)[l]}
|
|
\]
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\noindent
|
|
can be typeset as
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
|
|
\backslash
|
|
xymatrix{
|
|
\backslash
|
|
txt{start}
|
|
\backslash
|
|
ar[r]
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
& *++[o][F]{1}
|
|
\backslash
|
|
ar[r]
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
& *++[o][F=]{2}
|
|
\backslash
|
|
ar@(ur,dr)
|
|
\backslash
|
|
ar@(ur,ul)[l]
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
}.
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
The \SpecialChar LaTeX
|
|
command
|
|
\family typewriter
|
|
|
|
\backslash
|
|
entrymodifiers={
|
|
\family default
|
|
\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
}
|
|
\family default
|
|
will make a certain entry style the default,
|
|
that can,
|
|
of course be overridden for individual entries.
|
|
Thus,
|
|
after
|
|
\family typewriter
|
|
|
|
\backslash
|
|
entrymodifiers={++[o][F-]}
|
|
\family default
|
|
,
|
|
all following entries inside
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-matrices would be encircled.
|
|
\end_layout
|
|
|
|
\begin_layout Subsubsection
|
|
Framing rectangles
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Framing a whole rectangle inside an xymatrix is done with the macro pair
|
|
\family typewriter
|
|
|
|
\backslash
|
|
save ...
|
|
|
|
\backslash
|
|
restore
|
|
\family default
|
|
.
|
|
|
|
\family roman
|
|
\series medium
|
|
\shape up
|
|
\size normal
|
|
\emph off
|
|
\bar no
|
|
\noun off
|
|
\color none
|
|
The dimension of the rectangle is given as a dotted pair
|
|
\begin_inset Formula $P_{0}.P_{1}$
|
|
\end_inset
|
|
|
|
of points denoting the top left and lower right corners of the rectangle.
|
|
Each point,
|
|
in turn,is given as a doubly quoted comma separated pair
|
|
\begin_inset Quotes eld
|
|
\end_inset
|
|
|
|
|
|
\begin_inset Formula $x,y$
|
|
\end_inset
|
|
|
|
|
|
\begin_inset Quotes erd
|
|
\end_inset
|
|
|
|
specifying row
|
|
\begin_inset Formula $x$
|
|
\end_inset
|
|
|
|
and column
|
|
\begin_inset Formula $y$
|
|
\end_inset
|
|
|
|
.
|
|
These are followed by the framing commands,
|
|
to produce figures such as the following:
|
|
|
|
\begin_inset Formula
|
|
\[
|
|
\xymatrix{A & B\ar@(d,r)[dl]\sp(0.2)\phi\sp(0.7)\psi\save"1,1"."2,1"*+[F=]\frm{}\restore\,\\
|
|
C & \save"1,1"."1,2"*++[F]\frm{}\restore
|
|
}
|
|
\]
|
|
|
|
\end_inset
|
|
|
|
Here,
|
|
the code
|
|
\family typewriter
|
|
\series default
|
|
\shape default
|
|
\size default
|
|
\emph default
|
|
\bar default
|
|
\noun default
|
|
\color inherit
|
|
|
|
\backslash
|
|
save"1,1"."2,1"*+[F=]
|
|
\backslash
|
|
frm{}
|
|
\backslash
|
|
restore
|
|
\family roman
|
|
\series medium
|
|
\shape up
|
|
\size normal
|
|
\emph off
|
|
\bar no
|
|
\noun off
|
|
\color none
|
|
produces the doubly framed rectangle,
|
|
and the code for the extra wide horizontal rectangle is
|
|
\family typewriter
|
|
\series default
|
|
\shape default
|
|
\size default
|
|
\emph default
|
|
\bar default
|
|
\noun default
|
|
\color inherit
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
|
|
\backslash
|
|
save"1,1"."1,2"*++[F]
|
|
\backslash
|
|
frm{}
|
|
\backslash
|
|
restore
|
|
\family roman
|
|
\series medium
|
|
\shape up
|
|
\size normal
|
|
\emph off
|
|
\bar no
|
|
\noun off
|
|
\color none
|
|
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
This code can be placed in arbitrary cells of the xymatrix.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Section
|
|
Using \SpecialChar LyX
|
|
's math editor
|
|
\begin_inset CommandInset label
|
|
LatexCommand label
|
|
name "sec:math-editor"
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
As an alternative to writing the
|
|
\family typewriter
|
|
xypic
|
|
\family default
|
|
code,
|
|
then transforming it into a math-editing environment by marking it and applying
|
|
\family sans
|
|
Ctrl-m
|
|
\family default
|
|
,
|
|
or
|
|
\family sans
|
|
Ctrl-M
|
|
\family default
|
|
,
|
|
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
|
|
|
|
\begin_layout Subsection
|
|
Caveat - how to enter braces
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Recall that in \SpecialChar LyX
|
|
's math-editor any pair of braces
|
|
\family typewriter
|
|
{
|
|
\family default
|
|
and
|
|
\family typewriter
|
|
}
|
|
\family default
|
|
that are to enclose a macro-parameter must be entered by typing just
|
|
\family typewriter
|
|
|
|
\backslash
|
|
{
|
|
\family default
|
|
.
|
|
The closing brace is automatically supplied and in between a box into which to the parameter is entered.
|
|
In connection with
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-diagrams,
|
|
this applies in particular to arrow modifications that are normally given in the form
|
|
\family typewriter
|
|
@{
|
|
\family default
|
|
\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
}
|
|
\family default
|
|
with the ellipsis standing for the description of end,
|
|
shaft and tip of the arrow.
|
|
Inside the math-editor,
|
|
enter just
|
|
\family typewriter
|
|
@
|
|
\backslash
|
|
{
|
|
\family default
|
|
and let \SpecialChar LyX
|
|
provide the closing brace and the box into which to enter the description of the arrow.
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Braces that are entered without the backslash
|
|
\family typewriter
|
|
|
|
\backslash
|
|
|
|
\family default
|
|
will just appear as typed,
|
|
but cannot be used to receive a macro parameter.
|
|
They are useful,
|
|
for instance to denote sets,
|
|
e.
|
|
\begin_inset space \thinspace{}
|
|
\end_inset
|
|
|
|
g.
|
|
\begin_inset space \space{}
|
|
\end_inset
|
|
|
|
|
|
\family typewriter
|
|
{x
|
|
\backslash
|
|
in X
|
|
\backslash
|
|
mid x
|
|
\backslash
|
|
notin x}
|
|
\family default
|
|
will display as
|
|
\begin_inset Formula $\{x\in X\mid x\notin x\}$
|
|
\end_inset
|
|
|
|
.
|
|
\end_layout
|
|
|
|
\begin_layout Subsection
|
|
Setting up the matrix
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
With
|
|
\family sans
|
|
Ctrl-m
|
|
\family default
|
|
or
|
|
\family sans
|
|
Ctrl-M
|
|
\family default
|
|
open a formula environment and enter:
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xymatrix
|
|
\family default
|
|
.
|
|
This produces a 1
|
|
\begin_inset Formula $\times$
|
|
\end_inset
|
|
|
|
1-
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-matrix.
|
|
Add extra rows by typing
|
|
\family sans
|
|
Ctrl-Enter
|
|
\family default
|
|
and add columns by typing
|
|
\family sans
|
|
Alt-m c i.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
At any time,
|
|
further rows or columns can be entered or deleted using commands available from
|
|
\family sans
|
|
Edit\SpecialChar menuseparator
|
|
Math,
|
|
|
|
\family default
|
|
resp.
|
|
their shortcuts,
|
|
beginning with
|
|
\family sans
|
|
Alt-m c
|
|
\family default
|
|
for the column commands or
|
|
\family sans
|
|
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
|
|
Entering nodes,
|
|
arrows and labels
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Type the nodes into the correct positions of the matrix.
|
|
If you move the cursor out of the matrix,
|
|
you should see a first rendering of the node layout.
|
|
Next,
|
|
add the arrows at the nodes from where they should emanate by typing
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[
|
|
\family default
|
|
\emph on
|
|
p
|
|
\family typewriter
|
|
\emph default
|
|
]
|
|
\family default
|
|
,
|
|
where
|
|
\emph on
|
|
p
|
|
\emph default
|
|
can be any path made up from the characters
|
|
\family typewriter
|
|
u
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
d
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
l
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
r
|
|
\family default
|
|
.
|
|
Make sure that the path indeed leads to an existing node within the matrix.
|
|
Otherwise,
|
|
the figure will not display when the cursor leaves the editing area.
|
|
\end_layout
|
|
|
|
\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 \SpecialChar LyX
|
|
's math editor,
|
|
an underscore
|
|
\family typewriter
|
|
_
|
|
\family default
|
|
opens a box for a lower index and a
|
|
\family typewriter
|
|
^
|
|
\family default
|
|
followed by a space opens a box for an upper index.
|
|
You can enter any \SpecialChar LaTeX
|
|
-code as a label.
|
|
\end_layout
|
|
|
|
\begin_layout Subsection
|
|
Modifying arrows
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Finally,
|
|
you can modify the appearance of the arrows by entering @-modifiers
|
|
\family typewriter
|
|
@{
|
|
\family default
|
|
\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
}
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
@<
|
|
\family default
|
|
\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
>
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
@(
|
|
\family default
|
|
\SpecialChar ldots
|
|
,\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
)
|
|
\family default
|
|
or
|
|
\family typewriter
|
|
@/
|
|
\family default
|
|
\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
/
|
|
\family default
|
|
.
|
|
The above caveat applies to the first form only.
|
|
It must be entered as
|
|
\family typewriter
|
|
@
|
|
\backslash
|
|
{
|
|
\family default
|
|
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.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
The other modifiers,
|
|
|
|
\family typewriter
|
|
@<
|
|
\family default
|
|
\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
>
|
|
\family default
|
|
,
|
|
|
|
\family typewriter
|
|
@(
|
|
\family default
|
|
\SpecialChar ldots
|
|
,\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
)
|
|
\family default
|
|
and
|
|
\family typewriter
|
|
@/
|
|
\family default
|
|
\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
/
|
|
\family default
|
|
are typed as shown with the arrow description replacing the ellipsis.
|
|
The code for bending arrows,
|
|
which in
|
|
\family typewriter
|
|
xypic
|
|
\family default
|
|
is
|
|
\family typewriter
|
|
@/_
|
|
\family default
|
|
\emph on
|
|
measure
|
|
\family typewriter
|
|
\emph default
|
|
/
|
|
\family default
|
|
or
|
|
\family typewriter
|
|
@/
|
|
\emph on
|
|
^
|
|
\family default
|
|
measure
|
|
\family typewriter
|
|
\emph default
|
|
/
|
|
\family default
|
|
where
|
|
\emph on
|
|
measure
|
|
\emph default
|
|
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
|
|
|
|
\begin_layout Subsection
|
|
What if something goes wrong
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
When constructing a diagram,
|
|
you should at times check it by just moving the cursor out of the editing area to see whether instant preview can successfully convert it into graphical output.
|
|
If this does not happen,
|
|
it may either be that instant preview for some reason is not aware that it should retranslate the graphics.
|
|
Moving the cursor into the editing area and out again sometimes wakes up instant preview.
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
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
|
|
\family sans
|
|
DVI
|
|
\family default
|
|
using
|
|
\family sans
|
|
Ctrl+D
|
|
\family default
|
|
or
|
|
\family sans
|
|
View\SpecialChar menuseparator
|
|
DVI
|
|
\family default
|
|
.
|
|
There should be some error generated,
|
|
which hopefully gives you a hint as to the source of the mistake.
|
|
\end_layout
|
|
|
|
\begin_layout Section
|
|
Hacks
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
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.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Subsection
|
|
Horizontal and vertical scaling
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
It is often convenient to stretch the horizontal or the vertical dimensions of an entire diagram by using spacing commands for rows and/or columns.
|
|
According to the
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-manual,
|
|
|
|
\begin_inset CommandInset citation
|
|
LatexCommand cite
|
|
key "xypic manual"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
,
|
|
for instance,
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xymatrix@R=1pc{
|
|
\family default
|
|
\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
}
|
|
\family default
|
|
defines an
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-matrix with row spacing of 1
|
|
\begin_inset space ~
|
|
\end_inset
|
|
|
|
pica.
|
|
Similarly,
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xymatrix@C=
|
|
\family default
|
|
\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
{
|
|
\family default
|
|
\SpecialChar ldots
|
|
|
|
\family typewriter
|
|
}
|
|
\family default
|
|
allows to modify the space between columns.
|
|
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
|
|
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
|
|
|
|
\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_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\begin_inset space ~
|
|
\end_inset
|
|
|
|
stores the values for row-spacing and column-spacing in the variables
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xymatrixrowsep@
|
|
\family default
|
|
and
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xymatrixcolsep@
|
|
\family default
|
|
.
|
|
So one can add the following macro to the preamble (
|
|
\family sans
|
|
Layout\SpecialChar menuseparator
|
|
Document\SpecialChar menuseparator
|
|
Preamble
|
|
\family default
|
|
):
|
|
\end_layout
|
|
|
|
\begin_deeper
|
|
\begin_layout LyX-Code
|
|
|
|
\backslash
|
|
newcommand{
|
|
\backslash
|
|
xyR}[1]{%
|
|
\end_layout
|
|
|
|
\begin_layout LyX-Code
|
|
|
|
\backslash
|
|
xydef@
|
|
\backslash
|
|
xymatrixrowsep@{#1}}
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
A macro
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xyC
|
|
\family default
|
|
can be defined correspondingly by replacing
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xymatrixrowsep@
|
|
\family default
|
|
with
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xymatrixcolsep@
|
|
\family default
|
|
.
|
|
Now,
|
|
a figure can be scaled by entering
|
|
\backslash
|
|
xyR{ into the formula before the
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-matrix.
|
|
Place the cursor inside the matrix,
|
|
just before the first entry.
|
|
Then enter
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xyR
|
|
\backslash
|
|
{
|
|
\family default
|
|
or
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xyC
|
|
\backslash
|
|
{
|
|
\family default
|
|
or both.
|
|
Don't forget the backslashes and remember,
|
|
that the closing brace is automatically supplied by \SpecialChar LyX
|
|
.
|
|
Inside the braces enter the dimensions.
|
|
\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
|
|
2pc
|
|
\family default
|
|
.
|
|
Here you see a diagram which is squashed vertically and stretched horizontally with
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xyR{.5pc}
|
|
\backslash
|
|
xyC{9pc}
|
|
\family default
|
|
:
|
|
\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 collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-command allows the correct positioning of labels along the shaft of arrows.
|
|
This feature is sometimes necessary,
|
|
when the default position of a label would otherwise clutter the picture,
|
|
or would even coincide with other items,
|
|
such as the intersection of the arrows in the figure below.
|
|
In order to shift a label position alongside the shaft of an arrow,
|
|
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\begin_inset space ~
|
|
\end_inset
|
|
|
|
allows to prefix the label by a decimal number in parentheses,
|
|
specifying the fraction of distance alongside the arrow where the label is to be placed.
|
|
For instance,
|
|
the code
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[r]|(0.3)
|
|
\backslash
|
|
varphi
|
|
\family default
|
|
,
|
|
will place the label on the shaft,
|
|
but only about one third of the way.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Doing the same with labels above or below arrows as
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[dr]^(0.3)
|
|
\backslash
|
|
varphi,
|
|
|
|
\family default
|
|
respectively
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[ur]_(0.3)
|
|
\backslash
|
|
phi
|
|
\family default
|
|
,
|
|
does not work from inside \SpecialChar LyX
|
|
.
|
|
Instead,
|
|
one has to replace the hat-symbol ^,
|
|
resp.
|
|
the underscore _ ,
|
|
by the macros
|
|
\family typewriter
|
|
|
|
\backslash
|
|
sp
|
|
\family default
|
|
,
|
|
resp.
|
|
|
|
\family typewriter
|
|
|
|
\backslash
|
|
sb
|
|
\family default
|
|
,
|
|
obtaining
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[dr]
|
|
\backslash
|
|
sp(0.3)
|
|
\backslash
|
|
varphi
|
|
\family default
|
|
and
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[ur]
|
|
\backslash
|
|
sb(0.3)
|
|
\backslash
|
|
phi.
|
|
|
|
\family default
|
|
It is,
|
|
in fact,
|
|
possible to enter several labels this way and those labels are placed correctly,
|
|
even if the arrow bends.
|
|
In the following figure,
|
|
the bending arrow with its four labels has been produced with
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@(r,r)[d]
|
|
\backslash
|
|
sp(0.2){
|
|
\backslash
|
|
phi_{1}}
|
|
\backslash
|
|
sp(0.4){
|
|
\backslash
|
|
phi_{2}}
|
|
\backslash
|
|
sb(0.6){
|
|
\backslash
|
|
phi_{3}}
|
|
\backslash
|
|
sp(0.8){
|
|
\backslash
|
|
phi_{4}}.
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\begin_inset Formula
|
|
\[
|
|
\xyC{4pc}\xymatrix{\bullet\ar[dr]\sp(0.3)\varphi & \circ\ar@{}[d]|\vdots\ar@(r,r)[d]\sp(0.2){\phi_{1}}\sp(0.4){\phi_{2}}\sb(0.6){\phi_{3}}\sp(0.8){\phi_{4}}\\
|
|
\circ\ar[ur]\sb(0.3)\phi & \bullet
|
|
}
|
|
\]
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Subsection
|
|
Invisible stretched arrows
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
A more general trick uses invisible arrows to place any object almost anywhere inside a diagram.
|
|
Produce an invisible arrow,
|
|
shorten (or prolong) it past its goal by adding a decimal stretching ratio,
|
|
e.
|
|
\begin_inset space \thinspace{}
|
|
\end_inset
|
|
|
|
g.
|
|
\begin_inset space \space{}
|
|
\end_inset
|
|
|
|
|
|
\family typewriter
|
|
(0.6)
|
|
\family default
|
|
or
|
|
\family typewriter
|
|
(1.4)
|
|
\family default
|
|
to its path.
|
|
Attach a label to this invisible arrow.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Thus,
|
|
the down pointing arrow with its label
|
|
\begin_inset Formula $\varphi$
|
|
\end_inset
|
|
|
|
at (0.3) of its way along the shaft might as well have been produced by adding to the regular arrow
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar[dr]
|
|
\family default
|
|
an invisible
|
|
\begin_inset Formula $\varphi$
|
|
\end_inset
|
|
|
|
-labelled arrow
|
|
\family typewriter
|
|
|
|
\backslash
|
|
ar@{}[dr(0.6)]^
|
|
\backslash
|
|
varphi
|
|
\family default
|
|
,
|
|
reaching only 0.6 of the way.
|
|
Its label will now appear at 0.3 of the way of the original visible arrow.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
This workaround has two minor drawbacks:
|
|
First,
|
|
it does not work with bending arrows.
|
|
Secondly,
|
|
prolonging an invisible arrow beyond the normal dimension of the figure will invisibly extend the figure box,
|
|
and thereby cause too much vertical space between the figure and the preceding or the following paragraph.
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Nevertheless,
|
|
invisible arrows are an important tool,
|
|
since they can,
|
|
in principle,
|
|
be used to place information at any chosen place in a diagram.
|
|
In the above figure,
|
|
for instance,
|
|
we have used an invisible arrow to carry the
|
|
\family typewriter
|
|
|
|
\backslash
|
|
vdots
|
|
\family default
|
|
as label and at the earlier figure we had used an invisible arrow to carry the text
|
|
\begin_inset Quotes eld
|
|
\end_inset
|
|
|
|
|
|
\family typewriter
|
|
horizontal stretch
|
|
\family default
|
|
|
|
\begin_inset Quotes erd
|
|
\end_inset
|
|
|
|
into the center of the figure.
|
|
\end_layout
|
|
|
|
\begin_layout Subsection
|
|
Further
|
|
\family typewriter
|
|
Xy
|
|
\family default
|
|
-tricks
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
Here we have focused only on the
|
|
\family typewriter
|
|
|
|
\backslash
|
|
xymatrix
|
|
\family default
|
|
command,
|
|
which is just one of the features available in Kris Rose's amazing
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-package.
|
|
The
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-pic manual
|
|
\begin_inset CommandInset citation
|
|
LatexCommand cite
|
|
key "xypic manual"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
demonstrates many of the advanced possibilities of that package.
|
|
Beware,
|
|
that its style is rather terse and you will likely need a lot of experimenting and modifying the many worked examples.
|
|
Lauda
|
|
\begin_inset CommandInset citation
|
|
LatexCommand cite
|
|
key "Lauda"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
explains how to use
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-pic to make braids,
|
|
cobordism,
|
|
string diagrams,
|
|
and much more.
|
|
You might want to look on
|
|
\family typewriter
|
|
Instant_Preview.lyx
|
|
\family default
|
|
example shipped with \SpecialChar LyX
|
|
,
|
|
which demonstrates how to use more advanced
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
-commands via
|
|
\family typewriter
|
|
\SpecialChar TeX
|
|
|
|
\begin_inset space ~
|
|
\end_inset
|
|
|
|
Code
|
|
\family default
|
|
and
|
|
\family typewriter
|
|
Instant preview
|
|
\family default
|
|
insets.
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
\begin_inset Newpage newpage
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Bibliography
|
|
\begin_inset CommandInset bibitem
|
|
LatexCommand bibitem
|
|
key "xypic manual"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
Kristoffer H.
|
|
Rose:
|
|
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\emph on
|
|
-pic User's Guide
|
|
\emph default
|
|
.
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
|
|
\begin_inset Flex URL
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
https://www.ctan.org/tex-archive/macros/generic/diagrams/xypic/doc/xyguide.pdf
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Bibliography
|
|
\begin_inset CommandInset bibitem
|
|
LatexCommand bibitem
|
|
key "xypic reference"
|
|
literal "true"
|
|
|
|
\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
|
|
|
|
https://www.ctan.org/tex-archive/macros/generic/diagrams/xypic/doc/xyrefer.pdf
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Bibliography
|
|
\begin_inset CommandInset bibitem
|
|
LatexCommand bibitem
|
|
key "xypic"
|
|
literal "true"
|
|
|
|
\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
|
|
|
|
https://www.ctan.org/pkg/xypic
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Bibliography
|
|
\begin_inset CommandInset bibitem
|
|
LatexCommand bibitem
|
|
key "instant-preview"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
Homepage of preview-latex:
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
|
|
\begin_inset Flex URL
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
https://www.gnu.org/software/auctex/preview-latex.html
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Bibliography
|
|
\begin_inset CommandInset bibitem
|
|
LatexCommand bibitem
|
|
key "AUCTeX"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
Homepage of AUC\SpecialChar TeX
|
|
:
|
|
|
|
\begin_inset Flex URL
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
https://www.gnu.org/software/auctex/
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Bibliography
|
|
\begin_inset CommandInset bibitem
|
|
LatexCommand bibitem
|
|
key "Lauda"
|
|
literal "true"
|
|
|
|
\end_inset
|
|
|
|
Aaron Lauda:
|
|
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
|
|
\backslash
|
|
Xy
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\emph on
|
|
-pic
|
|
\emph default
|
|
|
|
\emph on
|
|
tutorial with an archive of examples
|
|
\emph default
|
|
.
|
|
\begin_inset Newline newline
|
|
\end_inset
|
|
|
|
|
|
\begin_inset Flex URL
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
https://web.archive.org/web/20080222044349/https://www.dpmms.cam.ac.uk/~al366/xytutorial.html
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\end_body
|
|
\end_document
|