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