→や⇒というような特殊文字を入力する方法を紹介します．
できること
Macで文字を入力する際，「Option」＋「E」で\（バックスラッシュ）が入力できます．この手のショートカットキーはデフォルトで他にも設定されています．
デフォルトを確認するにはこのページを見るか，「キーボードビューア」機能を使います．
でも，自分がよく使う記号にショートカットキーが割り当てられているとは限らないので，カスタマイズしたいです．
DefaultKeyBinding.dictというファイルを作成することで，カスタマイズができました．
ただし，このカスタマイズは全てのアプリで有効にはならなかったです．AtomとCoqIDEでは，有効になりました．
設定方法
~/Library/KeyBindingsというディレクトリを作る
上記ディレクトリにDefaultKeyBinding.dictというファイルを次の内容で作成
DefaultKeyBinding.dict
{
"~c" = ( "insertText:", "→" );
"~C" = ( "insertText:", "⇒" );
"~g" = ( "insertText:", "γ" );
"~G" = ( "insertText:", "Γ" );
"~o" = ( "insertText:", "⊥" );
"~O" = ( "insertText:", "⊤" );
"~d" = ( "insertText:", "⊃" );
"~s" = ( "insertText:", "⊂" );
"~S" = ( "insertText:", "∈" );
"~h" = ( "insertText:", "∨" );
"~H" = ( "insertText:", "∧" );
}
「システム環境設定」の「キーボード」あたりから英語の入力ソースを追加（もしなければ）
CoqIDEを起動中なら，再起動します．
入力ソースを英語のものにします．
これで，次のようなキー割り当てが有効になったと思います．
| キー | 文字 |
|---|---|
| ⌥C | → |
| ⌥⇧C | ⇒ |
残念ながら，現在この文書を書くのに使っているKobitoでは，できませんでした．
DefaultKeyBinding.dict等のキーワードで検索すると上記手順に関連する情報が出てきます．
Unicode Hex Inputの使い方
調べていたら「Unicode Hex Input」という入力ソースがあった．
これの使い方は⌥を押しながら文字コード4桁入力するとその該当する文字が入力されるというもの．