が示せないなー．示せそうなんだけど，対称性から．

たった，いま気がついた．

Longleftarrow

の下向き版がないかと探していたら，Longではないが，あった．

epdfviewでpdfを閲覧すると，普通（acroread)なら明朝体で表示される文字も

dvi→ps→pdf 経由でつくったpdfに対して pdffonts すると