名前: 北川 日時: 2013-11-22 18:17:48 IPアドレス: 110.67.113.*
>>57262 > ここで、ずれの大きさは | の太さ程度です。 dvi を pdvitype で見た限りだと，普通の | は cmsy10 の 106 番の文字， 一方，ここでの \left| ... \right| で使われる「大きい |」は cmex10 の 12 番の文字を上下に並べて出力していますね． 両者の文字を以下のソース（plain TeX 用）で出力したところ，cmex10 の 12 番の文字のほうが もともと前後の余白が大きい設計になっているようです： ==== ここから ==== %#!ptex2pdf -i vert2 \lineskip0pt \lineskiplimit0pt \baselineskip0pt \vrule \font\sy=cmsy10 \sy\char106\vrule \vrule \font\ex=cmex10 \ex\char012\vrule \end ==== ここまで ====
この書き込みへの返事：