MacPorts/pTeX 環境への mathabx フォントのインストール
mathabx というのはTeX用の数学記号フォント集で，AMSのパッケージにもない変わった記号が用意されています．Abadi & Cardelli のς-計算に出てくる変な矢印((mathabx.styを使うと \leftleftharpoons というコマンドで出てきます．この記号だけなら，わざわざmathabxを入れなくても \leftharpoondown の上に\leftharpoonup を重ねてもいいのですが．))もこのフォント集に入っています．
このフォントをMacPortsで導入したpTeX環境で使えるようにしました．TeXのフォントの設定は久しぶりで，ファイルの置き場所や設定等いろいろ調べる必要があったため，その方法を忘れないように書いておきます．
フォントのソースファイルとマクロのインストール
mathabxフォントはCTANで配布されています．
ここからmathabz.zipをダウンロードします．この中の source と texinputs というフォルダの中身をそれぞれ適当なディレクトリにコピーし，最後にmktexlsrを実行します．私が行った作業をコマンドで書くと以下のようになります．
wget http://mirror.ctan.org/fonts/mathabx.zip unzip mathabx.zip cd mathabx sudo mkdir -p /opt/local/share/texmf-local/fonts/source/mathabx sudo mkdir -p /opt/local/share/texmf-local/tex/mathabx sudo cp source/* /opt/local/share/texmf-local/fonts/source/mathabx sudo cp texinputs/* /opt/local/share/texmf-local/tex/mathabx sudo mktexlsr
以上でとりあえずフォントは使えるようになりますが，このままではビットマップ(pk)フォントとして使う事になってしまいます．そこで次のようにしてType1フォントも使えるようにしておきます．
Type1フォントのインストール
MetafontのファイルがあればType1フォントを生成できるらしいのですが，愛知教育大学の堀田先生がmathabxのType1フォントを配布されていますので，今回それを使わせていただきました．堀田先生のサイトには本フォントに関して大変詳しい説明があり，参考になります．
上記サイトよりabxtype1.zipをダウンロードし，この中のmapフォルダおよびpfbフォルダの中身を適切な場所にコピーします．mktexlsrをした後，updmap-sysというコマンドでmapファイルを設定します．私が行った作業は以下の通りです．
wget http://auemath.aichi-edu.ac.jp/~khotta/ghost/abx/abxtype1.zip unzip abxtype1.zip cd abxtype1 sudo mkdir -p /opt/local/share/texmf-local/fonts/map/dvips/mathabx sudo mkdir -p /opt/local/share/texmf-local/fonts/type1/mathabx sudo cp map/* /opt/local/share/texmf-local/fonts/map/dvips/mathabx sudo cp pfb/* /opt/local/share/texmf-local/fonts/type1/mathabx sudo mktexlsr sudo updmap-sys Map=mathabx.map
これでmathabxのType1フォントが使えるようになりました．pdftex, dvips, dvipdfmx のいずれでもきれいに出力されます．
