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