\documentclass[a4paper]{article}
\usepackage{pictexwd,dcpic}

\voffset=-1.5cm
\hoffset=-1cm
\addtolength{\textwidth}{2cm}
\addtolength{\textheight}{3cm}

\newcommand{\barraA}{\vrule height2em width0em depth0em}
\newcommand{\barraB}{\vrule height1.6em width0em depth0em}

\begin{document}
\begin{center}
  DCpic - Examples
\end{center}

{\scriptsize
\begin{verbatim}
\begindc
\obj(1,3){$\displaystyle \sum_{k=2}^n \left\lfloor\frac{\phi(k)}{k-1}\right\rfloor}$}[objSum]
\obj(4,5){$B$}[objB]
\obj(4,3){$A$}[objA]
\obj(4,1){$B$}[objBp]
\mor{objSum}{objB}{$f$}
\mor{objB}{objA}{$g$}
\mor{objSum}{objA}{$f\circ g$}[\atright,\solidarrow]
\mor{objSum}{objBp}{$f$}[\atright,\solidarrow]
\mor{objA}{objBp}{$g$}[\atright,\solidarrow]
\enddc
\end{verbatim}
}

$$
\begindc
\obj(1,3){$\displaystyle \sum_{k=2}^n \left\lfloor\frac{\phi(k)}{k-1}\right\rfloor$}[objSum]
\obj(4,5){$B$}[objB]
\obj(4,3){$A$}[objA]
\obj(4,1){$B$}[objBp]
\mor{objSum}{objB}{$f$}
\mor{objB}{objA}{$g$}
\mor{objSum}{objA}{$f\circ g$}[\atright,\solidarrow]
\mor{objSum}{objBp}{$f$}[\atright,\solidarrow]
\mor{objA}{objBp}{$g$}[\atright,\solidarrow]
\enddc
$$

{\small 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 the user: to specify a rectangular, with rounded
corners, curve we choose the points which give us the {\em expanded
chess-horse movement}, that is, $(x,y)$, $(x\pm4,y\mp1)$, $(x\mp1,y\pm4)$,
or $(x,y)$,$(x\pm1,y\mp4)$, $(x\mp4,y\pm1)$, those sets of points will give
us 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[3]
\obj(10,15){$A$}[A]
\obj(40,15){$A$}[Ap]
\obj(25,15){$B$}[B]
\mor{A}{B}{$f$}%[\atright,\solidarrow]
\mor{B}{Ap}{$g$}%[\atright,\solidarrow]
\cmor((10,11)(11,7)(15,6)(25,6)(35,6)(39,7)(40,11)) \pup(25,3){$id_A$}
\enddc
\end{verbatim}
}

$$
\begindc[3]
\obj(10,15){$A$}[A]
\obj(40,15){$A$}[Ap]
\obj(25,15){$B$}[B]
\mor{A}{B}{$f$}%[\atright,\solidarrow]
\mor{B}{Ap}{$g$}%[\atright,\solidarrow]
\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[3]
\obj(14,11){$A$}
\obj(39,11){$B$}
\mor(14,12)(39,12){$f$}%[\atright,\solidarrow]
\mor(39,10)(14,10){$g$}%[\atright,\solidarrow]
\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}
}

$$
\begindc[3]
\obj(14,11){$A$}
\obj(39,11){$B$}
\mor(14,12)(39,12){$f$}%[\atright,\solidarrow]
\mor(39,10)(14,10){$g$}%[\atright,\solidarrow]
\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
$$

\vfill
\pagebreak

{\scriptsize
\begin{verbatim}
\begindc
\obj(10,10){$OOOOOO$}[A]
\obj(15,10){$XXXX$}[Aa]
\obj(14,11){$XXXX$}[Ab]
\obj(13,12){$XXXX$}[Ac]
\obj(12,13){$XXXX$}[Ad]
\obj(11,14){$XXXX$}[Ae]
\obj(10,15){$XXXX$}[Af]
\obj(9,14){$BBBB$}[Ag]
\obj(8,13){$XXXX$}[Ah]
\obj(7,12){$XXXX$}[Ai]
\obj(6,11){$XXXX$}[Aj]
\obj(5,10){$XXXX$}[Ak]
\obj(6,9){$XXXX$}[Al]
\obj(7,8){$XXXX$}[Am]
\obj(8,7){$BBBB$}[An]
\obj(9,6){$CCCC$}[Ao]
\obj(10,5){$DDDD$}[Ap]
\obj(11,6){$EEEE$}[Aq]
\obj(12,7){$EEEE$}[Ar]
\obj(13,8){$EEEE$}[As]
\obj(14,9){$EEEE$}[At]
\mor{A}{Aa}{$a1$}
\mor{A}{Ab}{$a2$}
\mor{A}{Ac}{$a3$}
\mor{A}{Ad}{$a4$}
\mor{A}{Ae}{$a5$}
\mor{A}{Af}{$a6$}
\mor{A}{Ag}{$a7$}
\mor{A}{Ah}{$a8$}
\mor{A}{Ai}{$a9$}
\mor{A}{Aj}{$a10$}
\mor{A}{Ak}{$a11$}
\mor{A}{Al}{$a12$}
\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}
}

$$
\begindc
\obj(10,10){$OOOOOO$}[A]
\obj(15,10){$XXXX$}[Aa]
\obj(14,11){$XXXX$}[Ab]
\obj(13,12){$XXXX$}[Ac]
\obj(12,13){$XXXX$}[Ad]
\obj(11,14){$XXXX$}[Ae]
\obj(10,15){$XXXX$}[Af]
\obj(9,14){$BBBB$}[Ag]
\obj(8,13){$XXXX$}[Ah]
\obj(7,12){$XXXX$}[Ai]
\obj(6,11){$XXXX$}[Aj]
\obj(5,10){$XXXX$}[Ak]
\obj(6,9){$XXXX$}[Al]
\obj(7,8){$XXXX$}[Am]
\obj(8,7){$BBBB$}[An]
\obj(9,6){$CCCC$}[Ao]
\obj(10,5){$DDDD$}[Ap]
\obj(11,6){$EEEE$}[Aq]
\obj(12,7){$EEEE$}[Ar]
\obj(13,8){$EEEE$}[As]
\obj(14,9){$EEEE$}[At]
\mor{A}{Aa}{$a1$}
\mor{A}{Ab}{$a2$}
\mor{A}{Ac}{$a3$}
\mor{A}{Ad}{$a4$}
\mor{A}{Ae}{$a5$}
\mor{A}{Af}{$a6$}
\mor{A}{Ag}{$a7$}
\mor{A}{Ah}{$a8$}
\mor{A}{Ai}{$a9$}
\mor{A}{Aj}{$a10$}
\mor{A}{Ak}{$a11$}
\mor{A}{Al}{$a12$}
\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
$$

\vfill
\pagebreak

{\scriptsize
\begin{verbatim}
\begindc[35]
\obj(1,1){$G$}[Gr]
\obj(3,1){$G_{r^*}$}[Grstar]
\obj(5,1){$H$}[H]
\obj(2,2){$\Sigma^G$}[SigmaG]
\obj(6,2){$\Sigma^H$}[SigmaH]
\obj(1,3){$L_m$}[Lm]
\obj(3,3){$K_{r,m}$}[Krm]
\obj(5,3){$R_{m^*}$}[Rmstar]
\obj(1,5){$L$}[L]
\obj(3,5){$L_r$}[Lr]
\obj(5,5){$R$}[R]
\obj(2,6){$\Sigma^L$}[SigmaL]
\obj(6,6){$\Sigma^R$}[SigmaR]
\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{SigmaG}{SigmaH}{$\varphi^{r^*}$}[\atright,\solidarrow]
\mor{Lm}{Gr}{$m$}[\atright,\solidarrow]
\mor{Lm}{L}{$i_2$}[\atleft,\aplicationarrow]
\mor{Krm}{Lm}{$i_3\quad$}[\atright,\aplicationarrow]
\mor{Krm}{Rmstar}{$r$}
\mor{Krm}{Lr}{$i_4$}[\atright,\aplicationarrow]
\mor{Krm}{Grstar}{$m$}
\mor{Rmstar}{R}{$i_6$}[\atright,\aplicationarrow]
\mor{Rmstar}{H}{$m^*$}
\mor{L}{SigmaL}{$\lambda^L$}
\mor{Lr}{L}{$i_1\quad$}[\atright,\aplicationarrow]
\mor{Lr}{R}{$r$}
\mor{R}{SigmaR}{$\lambda^R$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaG}{$\varphi^m$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaR}{$\varphi^r$}
\mor{SigmaR}{SigmaH}{$\varphi^{m^*}$}
\enddc
\end{verbatim}
}

$$
\begindc[35]
\obj(1,1){$G$}[Gr]
\obj(3,1){$G_{r^*}$}[Grstar]
\obj(5,1){$H$}[H]
\obj(2,2){$\Sigma^G$}[SigmaG]
\obj(6,2){$\Sigma^H$}[SigmaH]
\obj(1,3){$L_m$}[Lm]
\obj(3,3){$K_{r,m}$}[Krm]
\obj(5,3){$R_{m^*}$}[Rmstar]
\obj(1,5){$L$}[L]
\obj(3,5){$L_r$}[Lr]
\obj(5,5){$R$}[R]
\obj(2,6){$\Sigma^L$}[SigmaL]
\obj(6,6){$\Sigma^R$}[SigmaR]
\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{SigmaG}{SigmaH}{$\varphi^{r^*}$}[\atright,\solidarrow]
\mor{Lm}{Gr}{$m$}[\atright,\solidarrow]
\mor{Lm}{L}{$i_2$}[\atleft,\aplicationarrow]
\mor{Krm}{Lm}{$i_3\quad$}[\atright,\aplicationarrow]
\mor{Krm}{Rmstar}{$r$}
\mor{Krm}{Lr}{$i_4$}[\atright,\aplicationarrow]
\mor{Krm}{Grstar}{$m$}
\mor{Rmstar}{R}{$i_6$}[\atright,\aplicationarrow]
\mor{Rmstar}{H}{$m^*$}
\mor{L}{SigmaL}{$\lambda^L$}
\mor{Lr}{L}{$i_1\quad$}[\atright,\aplicationarrow]
\mor{Lr}{R}{$r$}
\mor{R}{SigmaR}{$\lambda^R$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaG}{$\varphi^m$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaR}{$\varphi^r$}
\mor{SigmaR}{SigmaH}{$\varphi^{m^*}$}
\enddc
$$

\vfill
\pagebreak


\vfill
\pagebreak

{\scriptsize
\begin{verbatim}
\begindc[4]
\obj(10,10){$G$}[Gr]
\obj(30,10){$G_{r^*}$}[Grstar]
\obj(50,10){$H$}[H]
\obj(20,20){$\Sigma^G$}[SigmaG]
\obj(60,20){$\Sigma^H$}[SigmaH]
\obj(10,30){$L_m$}[Lm]
\obj(30,30){$K_{r,m}$}[Krm]
\obj(50,30){$R_{m^*}$}[Rmstar]
\obj(10,50){$L$}[L]
\obj(30,50){$L_r$}[Lr]
\obj(50,50){$R$}[R]
\obj(20,60){$\Sigma^L$}[SigmaL]
\obj(60,60){$\Sigma^R$}[SigmaR]
\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{SigmaG}{SigmaH}{$\varphi^{r^*}$}[\atright,\solidarrow]
\mor{Lm}{Gr}{$m$}[\atright,\solidarrow]
\mor{Lm}{L}{$i_2$}[\atleft,\aplicationarrow]
\mor{Krm}{Lm}{$i_3\quad$}[\atright,\aplicationarrow]
\mor{Krm}{Rmstar}{$r$}
\mor{Krm}{Lr}{$i_4$}[\atright,\aplicationarrow]
\mor{Krm}{Grstar}{$m$}
\mor{Rmstar}{R}{$i_6$}[\atright,\aplicationarrow]
\mor{Rmstar}{H}{$m^*$}
\mor{L}{SigmaL}{$\lambda^L$}
\mor{Lr}{L}{$i_1\quad$}[\atright,\aplicationarrow]
\mor{Lr}{R}{$r$}
\mor{R}{SigmaR}{$\lambda^R$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaG}{$\varphi^m$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaR}{$\varphi^r$}
\mor{SigmaR}{SigmaH}{$\varphi^{m^*}$}
\cmor((10,7)(11,3)(15,2)(40,2)(65,2)(69,3)(70,7)(70,10)(70,14)(69,18)(65,19))
\pleft(75,10){$\varphi^{r^*}\lambda^G$}
\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}
}

$$
\begindc[4]
\obj(10,10){$G$}[Gr]
\obj(30,10){$G_{r^*}$}[Grstar]
\obj(50,10){$H$}[H]
\obj(20,20){$\Sigma^G$}[SigmaG]
\obj(60,20){$\Sigma^H$}[SigmaH]
\obj(10,30){$L_m$}[Lm]
\obj(30,30){$K_{r,m}$}[Krm]
\obj(50,30){$R_{m^*}$}[Rmstar]
\obj(10,50){$L$}[L]
\obj(30,50){$L_r$}[Lr]
\obj(50,50){$R$}[R]
\obj(20,60){$\Sigma^L$}[SigmaL]
\obj(60,60){$\Sigma^R$}[SigmaR]
\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{SigmaG}{SigmaH}{$\varphi^{r^*}$}[\atright,\solidarrow]
\mor{Lm}{Gr}{$m$}[\atright,\solidarrow]
\mor{Lm}{L}{$i_2$}[\atleft,\aplicationarrow]
\mor{Krm}{Lm}{$i_3\quad$}[\atright,\aplicationarrow]
\mor{Krm}{Rmstar}{$r$}
\mor{Krm}{Lr}{$i_4$}[\atright,\aplicationarrow]
\mor{Krm}{Grstar}{$m$}
\mor{Rmstar}{R}{$i_6$}[\atright,\aplicationarrow]
\mor{Rmstar}{H}{$m^*$}
\mor{L}{SigmaL}{$\lambda^L$}
\mor{Lr}{L}{$i_1\quad$}[\atright,\aplicationarrow]
\mor{Lr}{R}{$r$}
\mor{R}{SigmaR}{$\lambda^R$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaG}{$\varphi^m$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaR}{$\varphi^r$}
\mor{SigmaR}{SigmaH}{$\varphi^{m^*}$}
\cmor((10,7)(11,3)(15,2)(40,2)(65,2)(69,3)(70,7)(70,10)(70,14)(69,18)(65,19))
\pleft(75,10){$\varphi^{r^*}\lambda^G$}
\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
$$

\vfill
\pagebreak

{\scriptsize
\begin{verbatim}
\begindc[4]
\obj(10,10){$G$}[Gr]
\obj(30,10){$G_{r^*}$}[Grstar]
\obj(50,10){$H$}[H]
\obj(20,20){$\Sigma^G$}[SigmaG]
\obj(60,20){$\Sigma^H$}[SigmaH]
\obj(10,30){$L_m$}[Lm]
\obj(30,30){$K_{r,m}$}[Krm]
\obj(50,30){$R_{m^*}$}[Rmstar]
\obj(10,50){$L$}[L]
\obj(30,50){$L_r$}[Lr]
\obj(50,50){$R$}[R]
\obj(20,60){$\Sigma^L$}[SigmaL]
\obj(60,60){$\Sigma^R$}[SigmaR]
\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{SigmaG}{SigmaH}{$\varphi^{r^*}$}[\atright,\solidarrow]
\mor{Lm}{Gr}{$m$}[\atright,\solidarrow]
\mor{Lm}{L}{$i_2$}[\atleft,\aplicationarrow]
\mor{Krm}{Lm}{$i_3\quad$}[\atright,\aplicationarrow]
\mor{Krm}{Rmstar}{$r$}
\mor{Krm}{Lr}{$i_4$}[\atright,\aplicationarrow]
\mor{Krm}{Grstar}{$m$}
\mor{Rmstar}{R}{$i_6$}[\atright,\aplicationarrow]
\mor{Rmstar}{H}{$m^*$}
\mor{L}{SigmaL}{$\lambda^L$}
\mor{Lr}{L}{$i_1\quad$}[\atright,\aplicationarrow]
\mor{Lr}{R}{$r$}
\mor{R}{SigmaR}{$\lambda^R$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaG}{$\varphi^m$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaR}{$\varphi^r$}
\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))
\pleft(76,40){$\varphi^{m^*}\varphi^r\lambda^L$}
\enddc
\end{verbatim}
}

$$
\begindc[4]
\obj(10,10){$G$}[Gr]
\obj(30,10){$G_{r^*}$}[Grstar]
\obj(50,10){$H$}[H]
\obj(20,20){$\Sigma^G$}[SigmaG]
\obj(60,20){$\Sigma^H$}[SigmaH]
\obj(10,30){$L_m$}[Lm]
\obj(30,30){$K_{r,m}$}[Krm]
\obj(50,30){$R_{m^*}$}[Rmstar]
\obj(10,50){$L$}[L]
\obj(30,50){$L_r$}[Lr]
\obj(50,50){$R$}[R]
\obj(20,60){$\Sigma^L$}[SigmaL]
\obj(60,60){$\Sigma^R$}[SigmaR]
\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{SigmaG}{SigmaH}{$\varphi^{r^*}$}[\atright,\solidarrow]
\mor{Lm}{Gr}{$m$}[\atright,\solidarrow]
\mor{Lm}{L}{$i_2$}[\atleft,\aplicationarrow]
\mor{Krm}{Lm}{$i_3\quad$}[\atright,\aplicationarrow]
\mor{Krm}{Rmstar}{$r$}
\mor{Krm}{Lr}{$i_4$}[\atright,\aplicationarrow]
\mor{Krm}{Grstar}{$m$}
\mor{Rmstar}{R}{$i_6$}[\atright,\aplicationarrow]
\mor{Rmstar}{H}{$m^*$}
\mor{L}{SigmaL}{$\lambda^L$}
\mor{Lr}{L}{$i_1\quad$}[\atright,\aplicationarrow]
\mor{Lr}{R}{$r$}
\mor{R}{SigmaR}{$\lambda^R$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaG}{$\varphi^m$}[\atright,\solidarrow]
\mor{SigmaL}{SigmaR}{$\varphi^r$}
\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))
\pleft(76,40){$\varphi^{m^*}\varphi^r\lambda^L$}
\enddc
$$

\end{document}


%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
