読者です 読者をやめる 読者になる 読者になる

TeXの矢印

十分条件とは違う意味で矢印を描くときにいいのがなかったので作った.
もう少し縦が細い方がいいかもしれない.

%右矢印
\newcommand{\migi}{
\setlength\unitlength{1mm}
\begin{picture}(5,4)(0,1)
\put(0,1){\line(1,0){3}}
\put(0,3){\line(1,0){3}}
\put(0,1){\line(0,1){2}}
\put(3,0){\line(0,1){1}}
\put(3,4){\line(0,-1){1}}
\put(3,4){\line(1,-1){2}}
\put(3,0){\line(1,1){2}}
\end{picture}
}