矢印記号の使用案

論理 本編ネタ 教育 多義語
圏論 型理論 論理 メタ論理
指数 [_, _] [_→_], → ⇒, → (⇒)
項の定義 |→ |→, |- |-, |→ (|-)
プロファイル → →, ~~> →, ~~> (→)
ホムセット {_→_} {_→_}, {_~~>_} {_→_}, {_~~>_} {_(→)_}