mathabx というのはTeX用の数学記号フォント集で，AMSのパッケージにもない変わった記号が用意されています．Abadi & Cardelli のς-計算に出てくる変な矢印((mathabx.styを使うと \leftleftharpoons というコマンドで出てきます．この記号だけなら，わざわざ…

私はLaTeXの文書に用いる図を OmniGraffle というMac OS X用のソフトウェアで作成しています．このソフトウェアにはおおむね満足していますが，キャンバスという機能を多用しているとEPSやPDFへの書き出し作業が少々面倒だと感じていました．その手間を解消…