2009-11-13 models 記号 メモ {\picture(20,18){\put(4,0){\line(0,18){18}} \put(4,7){\line(12,0){12}} \put(4,11){\line(12,0){12}}} 最初は \mid\hspace{-5}= などとしていたが、左の縦棒が出力されず、ついカッとなってやった。悪いことをしたとは思っていない。