Kodama's home / tips.
上の LaTeX の数式は次のように書いた.
$ t^{-1}P \left( \diaCrossP \right) -tP \left( \diaCrossN \right) =zP \left( \diaSmooth \right)$ \\
$P \left( \diaTrivial \right) = 1$\\
$\mbox{virtual crossing} : \diaVirtual$ \\
$\mbox{projected crossing}:\diaProjected$
大きさは, 通常の文字の部分と同様に \small, \Large などで変更できる.
この結び目図の部分を実現するには, 以下のようなマクロを LaTeX 文書( \begin{document} の直前)に書き込むと良い.
%%%% original : Atsushi ISHII 2003-10-11
%%%% macro : K.Kodama 2003-11-16
%%%% revised : K.Kodama 2003-12-07
%% positive crossing
\def\diaCrossP{\unitlength.1em
\begin{minipage}{15\unitlength}
\begin{picture}(15,15)
\put(0,0){\vector(1,1){15}}
\qbezier(15,0)(15,0)(10,5)
\qbezier(5,10)(0,15)(0,15)
\put(0,15){\vector(-1,1){0}}
\end{picture}
\end{minipage}
}
%% negative crossing
\def\diaCrossN{\unitlength.1em
\begin{minipage}{15\unitlength}
\begin{picture}(15,15)
\put(15,0){\vector(-1,1){15}}
\qbezier(0,0)(0,0)(5,5)
\qbezier(10,10)(15,15)(15,15)
\put(15,15){\vector(1,1){0}}
\end{picture}
\end{minipage}
}
%% smoothing
\def\diaSmooth{\unitlength.1em
\begin{minipage}{15\unitlength}
\begin{picture}(15,15)
\qbezier(0,0)(10,7.5)(0,15)
\qbezier(15,0)(5,7.5)(15,15)
\put(15,15){\vector(1,1){0}}
\put(0,15){\vector(-1,1){0}}
\end{picture}
\end{minipage}
}
%% trivial
\def\diaTrivial{\unitlength.1em
\begin{minipage}{10\unitlength}
\begin{picture}(10,10)
\put(5,5){\circle{10}}
\end{picture}
\end{minipage}
}
%% virtual
\def\diaVirtual{\unitlength.1em
\begin{minipage}{14\unitlength}
\begin{picture}(14,14)
\put(0,0){\vector(1,1){14}}
\put(14,0){\vector(-1,1){14}}
\put(7,7){\circle{6}}
%% \put(7,7){\circle*{4}} %% black circle
\end{picture}
\end{minipage}
}
%% projected
\def\diaProjected{\unitlength.1em
\begin{minipage}{14\unitlength}
\begin{picture}(14,14)
\put(0,0){\vector(1,1){14}}
\put(14,0){\vector(-1,1){14}}
\end{picture}
\end{minipage}
}
Kodama's home / tips.