%% 
%%  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}
