%% The LaTeX Graphics Companion, 2ed (first printing May 2007)

%%
%% The LaTeX Graphics Companion, 2ed (first printing May 2007)
%%
%% Example 7-5-1 on page 509.
%%
%% Copyright (C) 2007 Michel Goossens, Frank Mittelbach, Denis Roegel, Sebastian Rahtz, Herbert Vo\ss
%%
%% It may be distributed and/or modified under the conditions
%% of the LaTeX Project Public License, either version 1.3
%% of this license or (at your option) any later version.
%%
%% See http://www.latex-project.org/lppl.txt for details.
%%

\documentclass{ttctexa}
\pagestyle{empty}
\setcounter{page}{6}
\setlength\textwidth{348.0pt}
\StartShownPreambleCommands
\usepackage[all,arc,knot]{xy}
\StopShownPreambleCommands
\begin{document}
\[
\xy 0;<1pt,1pt>: %positive strand first picture for jacobiator
(-15,-20)*{}="T1";
(-5,-20)*{}="T2";
(5,-20)*{}="T3";
(15,-20)*{}="T4";
(-14,20)*{}="B1";
(-5,20)*{}="B2";
(5,20)*{}="B3";
(15,20)*{}="B4";
"T1"; "B4" **\crv{(-15,-7) & (15,-5)}
\POS?(.25)*{\hole}="2x" \POS?(.47)*{\hole}="2y" \POS?(.6)*{
\hole}="2z";
"T2";"2x" **\crv{(-4,-12)};
"T3";"2y" **\crv{(5,-10)};
"T4";"2z" **\crv{(16,-9)};
(-15,-5)*{}="3x";
"2x"; "3x" **\crv{(-18,-10)};
"3x"; "B3" **\crv{(-13,0) & (4,10)}
\POS?(.3)*{\hole}="4x" \POS?(.53)*{\hole}="4y";
"2y"; "4x" **\crv{};
"2z"; "4y" **\crv{};
(-15,10)*{}="5x";
"4x";"5x" **\crv{(-17,6)};
"5x";"B2" **\crv{(-14,12)}
\POS?(.6)*{\hole}="6x";
"6x";"B1" **\crv{(-14,18)};
"4y";"6x" **\crv{(-8,10)};
\endxy
\quad
\xy 0;<1pt,1pt>: %positive 2nd left move in jacobiator
(-15,-20)*{}="b1";
(-5,-20)*{}="b2";
(5,-20)*{}="b3";
(14,-20)*{}="b4";
(-14,20)*{}="T1";
(-5,20)*{}="T2";
(5,20)*{}="T3";
(15,20)*{}="T4";
"b1"; "T4" **\crv{(-15,-7) & (15,-5)}
\POS?(.25)*{\hole}="2x" \POS?(.47)*{\hole}="2y" \POS?(.65)*{ \hole}="2z";
"b2";"2x" **\crv{(-5,-15)};
"b3";"2y" **\crv{(5,-10)};
"b4";"2z" **\crv{(14,-9)};
(-15,-5)*{}="3x";
"2x"; "3x" **\crv{(-15,-10)};
"3x"; "T3" **\crv{(-15,15) & (5,10)}
\POS?(.38)*{\hole}="4y" \POS?(.65)*{\hole}="4z";
"T1";"4y" **\crv{(-14,16)};
"T2";"4z" **\crv{(-5,16)};
"2y";"4z" **\crv{(-10,3) & (10,2)} \POS?(.6)*{\hole}="5z";
"4y";"5z" **\crv{(-5,5)};
"5z";"2z" **\crv{(5,4)};
\endxy
\quad
\xy 0;<1pt,1pt>: %positive 3rd left move in jacobiator
(-14,20)*{}="T1";
(-4,20)*{}="T2";
(4,20)*{}="T3";
(15,20)*{}="T4";
(-15,-20)*{}="B1";
(-5,-20)*{}="B2";
(5,-20)*{}="B3";
(15,-20)*{}="B4";
"B1";"T4" **\crv{(-15,5) & (15,-5)}
\POS?(.25)*{\hole}="2x" \POS?(.49)*{\hole}="2y" \POS?(.65)*{ \hole}="2z";
"2x";"T3" **\crv{(-20,10) & (5,10) }
\POS?(.45)*{\hole}="3y" \POS?(.7)*{\hole}="3z";
"2x";"B2" **\crv{(-5,-14)};
"T1";"3y" **\crv{(-16,17)};
"T2";"3z" **\crv{(-5,17)};
"3z";"2z" **\crv{};
"3y";"2y" **\crv{};
"B3";"2z" **\crv{ (5,-5) &(20,-10)}
\POS?(.4)*{\hole}="4z";
"2y";"4z" **\crv{(6,-8)};
"4z";"B4" **\crv{(15,-15)};
\endxy
\quad
\xy 0;<1pt,1pt>: %positive 4th left move in jacobiator
(-14,20)*{}="T1";
(-4,20)*{}="T2";
(4,20)*{}="T3";
(15,20)*{}="T4";
(-15,-20)*{}="B1";
(-5,-20)*{}="B2";
(5,-20)*{}="B3";
(15,-20)*{}="B4";
"B1";"T4" **\crv{(-15,-5) & (15,5)}
\POS?(.38)*{\hole}="2x" \POS?(.53)*{\hole}="2y" \POS?(.7)*{\hole}="2z";
"T1";"2x" **\crv{(-15,5)};
"2y";"B2" **\crv{(10,-10) & (-6,-10)} \POS?(.45)*{\hole}="4x";
"2z";"B3" **\crv{ (15,0)&(15,-10) & (6,-16)} \POS?(.7)*{\hole}="5x";
"T3";"2y" **\crv{(5,10)& (-6,18) }
\POS?(.5)*{\hole}="3x";
"T2";"3x" **\crv{(-5,15)};
"3x";"2z" **\crv{(7,11)};
"2x";"4x" **\crv{(-3,-7)};
"4x";"5x" **\crv{};
"5x";"B4" **\crv{(15,-15)};
\endxy
\]
\end{document}