SBCLの最新版をMacPortsを使ってインストールできるよう，Portfileを書き換えました．その際，+threads を指定したときのパッチを customize-target-features.lisp というファイルに当てるよう変更しました．テストは一部失敗するので省略しています．portデ…

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