summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/generic/dcpic/examples.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/generic/dcpic/examples.tex')
-rw-r--r--Master/texmf-dist/doc/generic/dcpic/examples.tex395
1 files changed, 210 insertions, 185 deletions
diff --git a/Master/texmf-dist/doc/generic/dcpic/examples.tex b/Master/texmf-dist/doc/generic/dcpic/examples.tex
index 9590cb0da59..cf74991a03f 100644
--- a/Master/texmf-dist/doc/generic/dcpic/examples.tex
+++ b/Master/texmf-dist/doc/generic/dcpic/examples.tex
@@ -1,26 +1,44 @@
-\documentclass[a4paper]{article}
+\documentclass[12pt,a4paper]{article}
\usepackage{pictexwd,dcpic}
+\usepackage{listings}
+\usepackage{a4wide}
+\usepackage{svn-multi}
+\svnidlong
+{$HeadURL: svn+ssh://gentzen.mat.uc.pt/var/lib/svn/DCPiC/CTAN5.0/examples.tex $}
+{$LastChangedDate: 2013-05-01 19:49:49 +0100 (Qua, 01 Mai 2013) $}
+{$LastChangedRevision: 15 $}
+{$LastChangedBy: pedro $}
+
+\svnid{$Id: manDCPiC.tex 11 2013-04-20 23:01:43Z pedro $}
\voffset=-2cm
-\hoffset=-1cm
-\addtolength{\textwidth}{2cm}
+%\hoffset=-1cm
+%\addtolength{\textwidth}{2cm}
\addtolength{\textheight}{4cm}
\newcommand{\barraA}{\vrule height2em width0em depth0em}
\newcommand{\barraB}{\vrule height1.6em width0em depth0em}
-
+\newcommand{\docver}{\svnyear/\svnmonth/\svnday\ (v\svnrev)}
\begin{document}
+
+% definição da linguagem de programação
+\lstset{language=TeX,
+ frame = single,
+ morekeywords={begindc,enddc,cmor,pup,commdiag,undigraph,digraph,cdigraph,cundigraph,obj,mor,pleft,pup,pdown,pright,north,northeast,east,southeast,south,southwest,west,northwest,atright,atleft,solidarrow,dashArrow,dotArrow,solidline,dashline,dotline,injectionarrow,aplicationarrow,surjectivearrow,equalline,doublearrow,doubleopposite,nullarrow},
+ basicstyle=\tiny}
+
\begin{center}
- DCpic - Examples
+ \huge\bf DCpic - Examples - \docver
\end{center}
+\section{Commutative Diagrams}
-\paragraph{Commutative Diagrams --- Curved arrows.}
+\subsection{Curved Arrows}
A rectangular curve with rounded corners is easy to specify and should
cater for most needs. With this in mind we give the following tip to
@@ -32,62 +50,58 @@ the four corners of the rectangle; to form the whole line it is only
necessary to add an odd number of points joining the two (or more)
corners.
-{\footnotesize
-\begin{verbatim}
-\begindc{\commdiag}[2]
+\begin{lstlisting}
+\begindc{\commdiag}
\cmor((10,20)(6,21)(5,25)) \pup(5,15){$x$}
\enddc
-\end{verbatim}
-}
+\end{lstlisting}
+
+{\ }
$$
-\begindc{\commdiag}[3]
+\begindc{\commdiag}
\cmor((10,20)(6,21)(5,25)) \pup(5,15){$x$}
\enddc
$$
-{\footnotesize
-\begin{verbatim}
-\begindc{\commdiag}[3]
+
+
+\begin{lstlisting}
+\begindc{\commdiag}
\obj(10,15){$A$}
\obj(40,15)[Al]{$A$}
\obj(25,15){$B$}
-\mor{$A$}{$B$}{$f$}
-\mor{$B$}{Al}{$g$}
+\mor{$A$}{$B$}{$f$} \mor{$B$}{Al}{$g$}
\cmor((10,11)(11,7)(15,6)(25,6)(35,6)(39,7)(40,11)) \pup(25,3){$id_A$}
\enddc
-\end{verbatim}
-}
+\end{lstlisting}
$$
-\begindc{\commdiag}[3]
+\begindc{\commdiag}
\obj(10,15){$A$}
\obj(40,15)[Al]{$A$}
\obj(25,15){$B$}
-\mor{$A$}{$B$}{$f$}
+\mor{$A$}{$B$}{$f$}
\mor{$B$}{Al}{$g$}
\cmor((10,11)(11,7)(15,6)(25,6)(35,6)(39,7)(40,11)) \pup(25,3){$id_A$}
\enddc
$$
-{\footnotesize
-\begin{verbatim}
-\begindc{\commdiag}[3]
+\begin{lstlisting}
+\begindc{\commdiag}
\obj(14,11){$A$}
\obj(39,11){$B$}
-\mor(14,12)(39,12){$f$}
-\mor(39,10)(14,10){$g$}
+\mor(14,12)(39,12){$f$} \mor(39,10)(14,10){$g$}
\cmor((10,10)(6,11)(5,15)(6,19)(10,20)(14,19)(15,15)) \pdown(2,20){$id_A$}
\cmor((40,7)(41,3)(45,2)(49,3)(50,7)(49,11)(45,12)) \pleft(54,3){$id_B$}
\enddc
-\end{verbatim}
-}
+\end{lstlisting}
$$
-\begindc{\commdiag}[3]
+\begindc{\commdiag}
\obj(14,11){$A$}
\obj(39,11){$B$}
-\mor(14,12)(39,12){$f$}
+\mor(14,12)(39,12){$f$}
\mor(39,10)(14,10){$g$}
\cmor((10,10)(6,11)(5,15)(6,19)(10,20)(14,19)(15,15)) \pdown(2,20){$id_A$}
\cmor((40,7)(41,3)(45,2)(49,3)(50,7)(49,11)(45,12)) \pleft(54,3){$id_B$}
@@ -95,9 +109,8 @@ $$
$$
-{\footnotesize
-\begin{verbatim}
-\begindc{\commdiag}[3]
+\begin{lstlisting}
+\begindc{\commdiag}
\obj(10,18){$A$}
\obj(40,18){$B$}
\cmor((10,20)(15,25)(20,20)(25,15)(30,20)(35,25)(40,20))
@@ -105,11 +118,10 @@ $$
\cmor((10,15)(15,10)(20,15)(25,20)(30,15)(35,10)(40,15))
\pup(25,22){$g$}[2]
\enddc
-\end{verbatim}
-}
+\end{lstlisting}
$$
-\begindc{\commdiag}[3]
+\begindc{\commdiag}
\obj(10,18){$A$}
\obj(40,18){$B$}
\cmor((10,20)(15,25)(20,20)(25,15)(30,20)(35,25)(40,20))
@@ -124,17 +136,18 @@ $$
\pagebreak
-\paragraph{Commutative Diagrams --- Size Adjusting.} With the new
-version (v4.0) two new features are introduced, relative specification
-{\tt $\backslash$mor\{objA\}\{objB\}} instead of {\tt $\backslash$mor(1,3)(4,5)}, and the arrows now
-automatically adjust their size to the object's box size.
+\subsection{Size Adjusting}
+In version 4 (v4.0) two new features are introduced, relative
+specification {\tt $\backslash$mor\{objA\}\{objB\}} instead of {\tt
+ $\backslash$mor(1,3)(4,5)}, and the arrows now automatically adjust
+their size to the object's box size.
-{\scriptsize
-\begin{verbatim}
-\begindc{\commdiag}
-\obj(1,3)[objSum]{$\displaystyle \sum_{k=2}^n \left\lfloor\frac{\phi(k)}{k-1}\right\rfloor}$}
+
+\begin{lstlisting}[basicstyle=\tiny]
+\begindc{\commdiag}[300]
+\obj(1,3)[objSum]{$\displaystyle\sum_{k=2}^n\left\lfloor\frac{\phi(k)}{k-1}\right\rfloor}$}
\obj(4,5)[objB]{$B$}
\obj(4,3)[objA]{$A$}
\obj(4,1)[objBp]{$B$}
@@ -144,11 +157,10 @@ automatically adjust their size to the object's box size.
\mor{objSum}{objBp}{$f$}[\atright,\solidarrow]
\mor{objA}{objBp}{$g$}[\atright,\solidarrow]
\enddc
-\end{verbatim}
-}
+\end{lstlisting}
$$
-\begindc{\commdiag}
+\begindc{\commdiag}[300]
\obj(1,3)[objSum]{$\displaystyle \sum_{k=2}^n \left\lfloor\frac{\phi(k)}{k-1}\right\rfloor$}
\obj(4,5)[objB]{$B$}
\obj(4,3)[objA]{$A$}
@@ -162,9 +174,8 @@ $$
$$
-{\scriptsize
-\begin{verbatim}
-\begindc{\commdiag}
+\begin{lstlisting}
+\begindc{\commdiag}[250]
\obj(10,10)[A]{$OOOOOO$}\obj(15,10)[Aa]{$XXXX$}\obj(14,11)[Ab]{$XXXX$}
\obj(13,12)[Ac]{$XXXX$}\obj(12,13)[Ad]{$XXXX$}\obj(11,14)[Ae]{$XXXX$}
\obj(10,15)[Af]{$XXXX$}\obj(9,14)[Ag]{$BBBB$}\obj(8,13)[Ah]{$XXXX$}
@@ -178,11 +189,10 @@ $$
\mor{A}{Am}{$a13$}\mor{A}{An}{$a14$}\mor{A}{Ao}{$a15$}\mor{A}{Ap}{$a16$}
\mor{A}{Aq}{$a17$}\mor{A}{Ar}{$a18$}\mor{A}{As}{$a19$}\mor{A}{At}{$a20$}
\enddc
-\end{verbatim}
-}
+\end{lstlisting}
$$
-\begindc{\commdiag}[29]
+\begindc{\commdiag}[250]
\obj(10,10)[A]{$OOOOOO$}\obj(15,10)[Aa]{$XXXX$}\obj(14,11)[Ab]{$XXXX$}
\obj(13,12)[Ac]{$XXXX$}\obj(12,13)[Ad]{$XXXX$}\obj(11,14)[Ae]{$XXXX$}
\obj(10,15)[Af]{$XXXX$}\obj(9,14)[Ag]{$BBBB$}\obj(8,13)[Ah]{$XXXX$}
@@ -202,11 +212,10 @@ $$
\pagebreak
-\paragraph{Commutative Diagrams --- A Complex Diagram}
+\subsection{A Complex Diagram} {\ }
-{\scriptsize
-\begin{verbatim}
-\begindc{\commdiag}[35]
+\begin{lstlisting}
+\begindc{\commdiag}[350]
\obj(1,1)[Gr]{$G$}
\obj(3,1)[Grstar]{$G_{r^*}$}
\obj(5,1)[H]{$H$}
@@ -241,11 +250,10 @@ $$
\mor{SigmaL}{SigmaR}{$\varphi^r$}
\mor{SigmaR}{SigmaH}{$\varphi^{m^*}$}
\enddc
-\end{verbatim}
-}
+\end{lstlisting}
$$
-\begindc{\commdiag}[35]
+\begindc{\commdiag}[350]
\obj(1,1)[Gr]{$G$}
\obj(3,1)[Grstar]{$G_{r^*}$}
\obj(5,1)[H]{$H$}
@@ -262,7 +270,7 @@ $$
\mor{Gr}{SigmaG}{$\lambda^G$}
\mor{Grstar}{Gr}{$i_5$}[\atleft,\aplicationarrow]
\mor{Grstar}{H}{$r^*$}[\atright,\solidarrow]
-\mor{H}{SigmaH}{$\lambda^H$}[\atright,\dashArrow]
+\mor{H}{SigmaH}{$\lambda^H$}[\atright,\solidarrow] %dashArrow]
\mor{SigmaG}{SigmaH}{$\varphi^{r^*}$}[\atright,\solidarrow]
\mor{Lm}{Gr}{$m$}[\atright,\solidarrow]
\mor{Lm}{L}{$i_2$}[\atleft,\aplicationarrow]
@@ -285,13 +293,8 @@ $$
\vfill
\pagebreak
-
-\vfill
-\pagebreak
-
-{\scriptsize
-\begin{verbatim}
-\begindc{\commdiag}[4]
+\begin{lstlisting}[basicstyle=\tiny]
+\begindc{\commdiag}[40]
\obj(10,10){$G$}[Gr]
\obj(30,10){$G_{r^*}$}[Grstar]
\obj(50,10){$H$}[H]
@@ -330,11 +333,12 @@ $$
\cmor((10,53)(10,58)(10,63)(11,67)(15,68)(45,68)(65,68)(69,67)(70,63)(70,44)(70,25)(69,21)(65,20))
\pleft(76,40){$\varphi^{m^*}\varphi^r\lambda^L$}
\enddc
-\end{verbatim}
-}
+\end{lstlisting}
+
+{\ }
$$
-\begindc{\commdiag}[4]
+\begindc{\commdiag}[40]
\obj(10,10)[Gr]{$G$}
\obj(30,10)[Grstar]{$G_{r^*}$}
\obj(50,10)[H]{$H$}
@@ -377,9 +381,8 @@ $$
\vfill
\pagebreak
-{\scriptsize
-\begin{verbatim}
-\begindc{\commdiag}[4]
+\begin{lstlisting}[basicstyle=\tiny]
+\begindc{\commdiag}[40]
\obj(10,10)[Gr]{$G$}
\obj(30,10)[Grstar]{$G_{r^*}$}
\obj(50,10)[H]{$H$}
@@ -415,14 +418,16 @@ $$
\mor{SigmaR}{SigmaH}{$\varphi^{m^*}$}
\cmor((10,7)(11,3)(15,2)(33,2)(53,2)(56,3)(61,8)(66,13)(69,16)(69,18)(65,19))
\pleft(75,10){$\varphi^{r^*}\lambda^G$}
-\cmor((10,53)(10,54)(10,55)(11,59)(15,64)(19,67)(23,68)(44,68)(65,68)(69,67)(70,63)(70,44)(70,25)(69,21)(65,20))
+\cmor((10,53)(10,54)(10,55)(11,59)(15,64)(19,67)(23,68)(44,68)(65,68)(69,67)%
+(70,63)(70,44)(70,25)(69,21)(65,20))
\pleft(76,40){$\varphi^{m^*}\varphi^r\lambda^L$}
\enddc
-\end{verbatim}
-}
+\end{lstlisting}
+
+{\ }
$$
-\begindc{\commdiag}[4]
+\begindc{\commdiag}[40]
\obj(10,10)[Gr]{$G$}
\obj(30,10)[Grstar]{$G_{r^*}$}
\obj(50,10)[H]{$H$}
@@ -466,16 +471,19 @@ $$
\vfill
\pagebreak
-\paragraph{Undirected Graphs --- Magnification factor,} the
-magnification factor gives us the capability of adapting the size of
-the graph to the available space, without having to redesign the
+\section{Graphs}
+
+\subsection{Undirected Graphs --- Magnification Factor,}
+
+The magnification factor gives us the capability of adapting the size
+of the graph to the available space, without having to redesign the
graph, for example the specification of the next two graphs differs
-only in the magnification factor: 20 for the first; and 16 for the
+only in the magnification factor: 200 for the first; and 160 for the
second.
\begin{center}
\begin{tabular}{cc}
- \begindc{\undigraph}[20]
+ \begindc{\undigraph}[200]
\obj(1,1)[1]{}
\obj(3,2)[2]{}
\obj(5,1)[3]{}
@@ -487,7 +495,7 @@ second.
\mor{4}{3}{}
\mor{2}{4}{}
\enddc &\qquad
- \begindc{\undigraph}[16]
+ \begindc{\undigraph}[160]
\obj(1,1)[1]{}
\obj(3,2)[2]{}
\obj(5,1)[3]{}
@@ -502,9 +510,8 @@ second.
\end{tabular}
\end{center}
-{\scriptsize
-\begin{verbatim}
- \begindc{\undigraph}[20] \begindc{\undigraph}[16]
+\begin{lstlisting}
+ \begindc{\undigraph}[200] \begindc{\undigraph}[160]
\obj(1,1)[1]{} \obj(1,1)[1]{}
\obj(3,2)[2]{} \obj(3,2)[2]{}
\obj(5,1)[3]{} \obj(5,1)[3]{}
@@ -516,12 +523,12 @@ second.
\mor{4}{3}{} \mor{4}{3}{}
\mor{2}{4}{} \mor{2}{4}{}
\enddc \enddc
-\end{verbatim}}
+\end{lstlisting}
-\paragraph{Undirected Graphs --- ``Around the World''}
+\subsection{Undirected Graphs --- ``Around the World''}
$$
-\begindc{\undigraph}[7]
+\begindc{\undigraph}[70]
\obj(6,4){18}[\south]
\obj(18,4){17}[\south]
\obj(8,7){11}[\west]
@@ -534,18 +541,20 @@ $$
\obj(16,11){14}[\east]
\obj(2,16){19}
\obj(6,15){9}
-\obj(9,16){8}
-\obj(11,14){7}
+\obj(9,16){8} \obj(11,14){7}
\obj(13,14){3}
\obj(15,16){2}
\obj(18,15){15}
\obj(22,16){16}
\obj(12,19){1}[\northeast]
\obj(12,22){20}
-\mor{18}{17}{}\mor{18}{11}{}\mor{18}{19}{}
+\mor{18}{17}{}
+\mor{18}{11}{}
+\mor{18}{19}{}
\mor{11}{12}{}\mor{11}{10}{}\mor{12}{13}{}
\mor{12}{5}{}\mor{10}{6}{}\mor{10}{9}{}
-\mor{5}{6}{}\mor{5}{4}{}\mor{13}{17}{}
+\mor{5}{6}{}\mor{5}{4}{}
+\mor{13}{17}{}
\mor{13}{14}{}\mor{9}{19}{}\mor{9}{8}{}
\mor{6}{7}{}\mor{4}{3}{}\mor{4}{14}{}
\mor{19}{20}{}\mor{8}{1}{}\mor{8}{7}{}
@@ -554,9 +563,8 @@ $$
\mor{16}{20}{}\mor{1}{20}{}\mor{15}{16}{}
\enddc
$$
-{\scriptsize
-\begin{verbatim}
-\begindc{\undigraph}[7]
+\begin{lstlisting}
+\begindc{\undigraph}[70]
\obj(6,4){18}[\south]
\obj(18,4){17}[\south]
\obj(8,7){11}[\west]
@@ -567,37 +575,26 @@ $$
\obj(12,10){5}
\obj(14,12){4}[\northeast]
\obj(16,11){14}[\east]
-\obj(2,16){19}
-\obj(6,15){9}
-\obj(9,16){8}
-\obj(11,14){7}
-\obj(13,14){3}
-\obj(15,16){2}
-\obj(18,15){15}
-\obj(22,16){16}
+\obj(2,16){19} \obj(6,15){9} \obj(9,16){8} \obj(11,14){7}
+\obj(13,14){3} \obj(15,16){2} \obj(18,15){15} \obj(22,16){16}
\obj(12,19){1}[\northeast]
\obj(12,22){20}
-\mor{18}{17}{}\mor{18}{11}{}\mor{18}{19}{}
-\mor{11}{12}{}\mor{11}{10}{}\mor{12}{13}{}
-\mor{12}{5}{}\mor{10}{6}{}\mor{10}{9}{}
-\mor{5}{6}{}\mor{5}{4}{}\mor{13}{17}{}
-\mor{13}{14}{}\mor{9}{19}{}\mor{9}{8}{}
-\mor{6}{7}{}\mor{4}{3}{}\mor{4}{14}{}
-\mor{19}{20}{}\mor{8}{1}{}\mor{8}{7}{}
-\mor{7}{3}{}\mor{3}{2}{}\mor{2}{1}{}
-\mor{2}{15}{}\mor{14}{15}{}\mor{17}{16}{}
-\mor{16}{20}{}\mor{1}{20}{}\mor{15}{16}{}
+\mor{18}{17}{}\mor{18}{11}{}\mor{18}{19}{}\mor{11}{12}{}\mor{11}{10}{}\mor{12}{13}{}
+\mor{12}{5}{}\mor{10}{6}{}\mor{10}{9}{}\mor{5}{6}{}\mor{5}{4}{}\mor{13}{17}{}
+\mor{13}{14}{}\mor{9}{19}{}\mor{9}{8}{}\mor{6}{7}{}\mor{4}{3}{}\mor{4}{14}{}
+\mor{19}{20}{}\mor{8}{1}{}\mor{8}{7}{}\mor{7}{3}{}\mor{3}{2}{}\mor{2}{1}{}
+\mor{2}{15}{}\mor{14}{15}{}\mor{17}{16}{}\mor{16}{20}{}\mor{1}{20}{}\mor{15}{16}{}
\enddc
-\end{verbatim}}
+\end{lstlisting}
\vfill
\pagebreak
-\paragraph{Directed Graphs}
+\subsection{Directed Graphs}
$$
-\begindc{\digraph}[25]
+\begindc{\digraph}[250]
\obj(1,5){A}[\west]
\obj(1,3){B}[\west]
\obj(1,1){C}[\west]
@@ -614,52 +611,51 @@ $$
$$
-{\scriptsize
-\begin{verbatim}
-\begindc{\digraph}[25]
+\begin{lstlisting}
+\begindc{\digraph}[250]
\obj(1,5){A}[\west]
\obj(1,3){B}[\west]
\obj(1,1){C}[\west]
\obj(5,5){E}[\east]
\obj(5,3){F}[\east]
\obj(5,1){G}[\east]
-\mor{A}{E}{5}
-\mor{A}{F}{3}
+\mor{A}{E}{5} \mor{A}{F}{3}
\mor{B}{F}{6}[\atright,\solidarrow]
-\mor{C}{E}{1}
-\mor{C}{F}{5}
-\mor{C}{G}{7}
+\mor{C}{E}{1} \mor{C}{F}{5} \mor{C}{G}{7}
\enddc
-\end{verbatim}
-}
+\end{lstlisting}
-\paragraph{Circled Directed Graphs}
+\subsection{Circled Directed Graphs}
$$
-\begindc{\cdigraph}[20]
-\obj(6,6){18}[1]
-\obj(12,6){17}[1]
-\mor{18}{17}{}
+\begindc{\cdigraph}[200]
+\obj(6,6)[A]{1800000}
+\obj(12,6){17}
+\obj(10,9){16}
+\mor{A}{17}[240,90]{}
+\mor{16}{17}[90,90]{}
+\mor{16}{A}[95,125]{}
\enddc
$$
-{\scriptsize
-\begin{verbatim}
-\begindc{\cdigraph}[20]
-\obj(6,6){18}[1]
-\obj(12,6){17}[1]
-\mor{18}{17}{}
+\begin{lstlisting}
+\begindc{\cdigraph}[200]
+\obj(6,6)[A]{1800000}
+\obj(12,6){17}
+\obj(10,9){16}
+\mor{A}{17}[240,90]{}
+\mor{16}{17}[90,90]{}
+\mor{16}{A}[95,125]{}
\enddc
-\end{verbatim}
-}
+\end{lstlisting}
-\paragraph{Circled Undirected Graphs}
+\subsection{Circled Undirected Graphs}
Some fine adjustment is nedeeded in some lines.
-$$\small
-\begindc{\cundigraph}[11]
-\obj(6,4){18}[\south]\obj(18,4){17}[\south]
+$$
+\begindc{\cundigraph}[130]
+\obj(6,4)[A]{18}[\south]\obj(18,4){17}[\south]
\obj(8,7){11}[\west]\obj(12,8){12}[\south]
\obj(16,7){13}[\east]\obj(8,11){10}[\west]
\obj(10,12)[6]{6}[\south]\obj(12,10)[5]{5}[\east]
@@ -669,9 +665,9 @@ $$\small
\obj(13,14){3}\obj(15,16){2}
\obj(18,15){15}\obj(22,16){16}[\east]
\obj(12,19){1}[\west]\obj(12,22){20}[\north]
-\mor{18}{17}[7,7]{}\mor{18}{11}{}\mor{18}{19}{}\mor{11}{12}{}
+\mor{A}{17}[80,80]{}\mor{A}{11}{}\mor{A}{19}{}\mor{11}{12}{}
\mor{11}{10}{}\mor{12}{13}{}\mor{12}{5}{}\mor{10}{6}{}
-\mor{10}{9}{}\mor{5}{6}{}\mor{5}{4}{}\mor{13}{17}[8,6]{}
+\mor{10}{9}{}\mor{5}{6}{}\mor{5}{4}{}\mor{13}{17}[80,80]{}
\mor{13}{14}{}\mor{9}{19}{}\mor{9}{8}{}\mor{6}{7}{}
\mor{4}{3}{}\mor{4}{14}{}\mor{19}{20}{}\mor{8}{1}{}
\mor{8}{7}{}\mor{7}{3}{}\mor{3}{2}{}\mor{2}{1}{}
@@ -680,10 +676,10 @@ $$\small
\enddc
$$
-{\scriptsize
-\begin{verbatim}
-\begindc{\cundigraph}[13]
-\obj(6,4){18}[\south]\obj(18,4){17}[\south]
+
+\begin{lstlisting}
+\begindc{\cundigraph}[130]
+\obj(6,4)[A]{18}[\south]\obj(18,4){17}[\south]
\obj(8,7){11}[\west]\obj(12,8){12}[\south]
\obj(16,7){13}[\east]\obj(8,11){10}[\west]
\obj(10,12)[6]{6}[\south]\obj(12,10)[5]{5}[\east]
@@ -693,55 +689,84 @@ $$
\obj(13,14){3}\obj(15,16){2}
\obj(18,15){15}\obj(22,16){16}[\east]
\obj(12,19){1}[\west]\obj(12,22){20}[\north]
-\mor{18}{17}[7,7]{}\mor{18}{11}{}\mor{18}{19}{}\mor{11}{12}{}
+\mor{A}{17}[80,80]{}\mor{A}{11}{}\mor{A}{19}{}\mor{11}{12}{}
\mor{11}{10}{}\mor{12}{13}{}\mor{12}{5}{}\mor{10}{6}{}
-\mor{10}{9}{}\mor{5}{6}{}\mor{5}{4}{}\mor{13}{17}[8,6]{}
+\mor{10}{9}{}\mor{5}{6}{}\mor{5}{4}{}\mor{13}{17}[80,80]{}
\mor{13}{14}{}\mor{9}{19}{}\mor{9}{8}{}\mor{6}{7}{}
\mor{4}{3}{}\mor{4}{14}{}\mor{19}{20}{}\mor{8}{1}{}
\mor{8}{7}{}\mor{7}{3}{}\mor{3}{2}{}\mor{2}{1}{}
\mor{2}{15}{}\mor{14}{15}{}\mor{17}{16}{}\mor{16}{20}{}
\mor{1}{20}{}\mor{15}{16}{}
\enddc
-\end{verbatim}
-}
-
-\paragraph{New arrows and Lines in v4.1}
-
-\paragraph{Surjective arrow}
+\end{lstlisting}
+\section{New Arrows and Lines in v4 and v5}
+\subsection{Dashed, Dotted Lines, Dotted Arrows, Equaline, \ldots}
$$
-\begindc{\commdiag}[3]
-\obj(10,15){$A$}
-\obj(40,15)[Al]{$A$}
-\obj(25,15){$B$}
-\obj(40,5){$A^\prime$}
-\mor{$A$}{$B$}{$f$}[\atleft,\surjectivearrow]
-\mor{$B$}{Al}{$g$}[\atleft,\surjectivearrow]
-\mor{$B$}{$A^\prime$}{$g^\prime$}[\atright,\surjectivearrow]
+\begindc{\commdiag}[250]
+\obj(10,10)[A]{$OOOOOO$}
+\obj(15,10)[A0]{$A_0$}
+\obj(14,11)[A1]{$A_1$}
+\obj(13,12)[A2]{$A_2$}
+\obj(12,13)[A3]{$A_3$}
+\obj(10,14)[A4]{$A_4$}
+\obj(9,13)[A5]{$A_5$}
+\obj(8,12)[A6]{$A_6$}
+\obj(7,11)[A7]{$A_7$}
+\obj(6,10)[A8]{$A_8$}
+\obj(7,9)[A9]{$A_9$}
+\obj(9,8)[A10]{$A_{10}$}
+\obj(12,8)[A11]{$A_{11}$}
+\mor{A}{A0}{$a_0$}[\atright,\solidarrow]
+\mor{A}{A1}{$a_1$}[\atright,\dashArrow]
+\mor{A}{A2}{$a_2$}[\atright,\dotArrow]
+\mor{A}{A3}{$a_3$}[\atright,\solidline]
+\mor{A}{A4}{$a_4$}[\atright,\dashline]
+\mor{A}{A5}{$a_5$}[\atleft,\dotline]
+\mor{A}{A6}{$a_6$}[\atleft,\injectionarrow]
+\mor{A}{A7}{$a_7$}[\atleft,\aplicationarrow]
+\mor{A}{A8}{$a_8$}[\atleft,\surjectivearrow]
+\mor{A}{A9}{$a_9$}[\atleft,\equalline]
+\mor{A}{A10}{$a_{10}$}[\atleft,\doublearrow]
+\mor{A}{A11}{$a_{11}$}[\atleft,\doubleopposite]
+\mor{A}{A11}{$a_{12}$}[\atright,\nullarrow]
\enddc
$$
-\paragraph{Dashed and Dotted lines}
-
-$$
-\begindc{\commdiag}[3]
-\obj(10,20){$A$}
-\obj(40,30)[Al]{$A$}
-\obj(25,30){$B$}
-\obj(40,40){$A^\prime$}
-\obj(40,10)[Ald]{$A$}
-\obj(25,10)[Bd]{$B$}
-\obj(40,0)[Apd]{$A^\prime$}
-\mor{$A$}{$B$}{}[\atleft,\dashline]
-\mor{$B$}{Al}{}[\atleft,\dashline]
-\mor{$B$}{$A^\prime$}{}[\atright,\dashline]
-\mor{$A$}{Bd}{}[\atleft,\dotline]
-\mor{Bd}{Ald}{}[\atleft,\dotline]
-\mor{Bd}{Apd}{}[\atright,\dotline]
+\begin{lstlisting}
+\begindc{\commdiag}[250]
+\obj(10,10)[A]{$OOOOOO$}
+\obj(15,10)[A0]{$A_0$}
+\obj(14,11)[A1]{$A_1$}
+\obj(13,12)[A2]{$A_2$}
+\obj(12,13)[A3]{$A_3$}
+\obj(10,14)[A4]{$A_4$}
+\obj(9,13)[A5]{$A_5$}
+\obj(8,12)[A6]{$A_6$}
+\obj(7,11)[A7]{$A_7$}
+\obj(6,10)[A8]{$A_8$}
+\obj(7,9)[A9]{$A_9$}
+\obj(9,8)[A10]{$A_{10}$}
+\obj(12,8)[A11]{$A_{11}$}
+\mor{A}{A0}{$a_0$}[\atright,\solidarrow]
+\mor{A}{A1}{$a_1$}[\atright,\dashArrow]
+\mor{A}{A2}{$a_2$}[\atright,\dotArrow]
+\mor{A}{A3}{$a_3$}[\atright,\solidline]
+\mor{A}{A4}{$a_4$}[\atright,\dashline]
+\mor{A}{A5}{$a_5$}[\atleft,\dotline]
+\mor{A}{A6}{$a_6$}[\atleft,\injectionarrow]
+\mor{A}{A7}{$a_7$}[\atleft,\aplicationarrow]
+\mor{A}{A8}{$a_8$}[\atleft,\surjectivearrow]
+\mor{A}{A9}{$a_9$}[\atleft,\equalline]
+\mor{A}{A10}{$a_{10}$}[\atleft,\doublearrow]
+\mor{A}{A11}{$a_{11}$}[\atleft,\doubleopposite]
+\mor{A}{A11}{$a_{12}$}[\atright,\nullarrow]
\enddc
-$$
+\end{lstlisting}
+
+
\end{document}