便利な書き方とコンテキスト風書き方

1. 無名変数 ハイフンまたはアンダースコア〈アンダーバー | アンダーライン〉
2. セクション記法
3. 関数のプロファイル（多変数・多値のカンマ区切りもあり）
4. maps-to記法 |→
5. 関数適用〈引数渡し | 関数呼び出し〉の中置記法
6. 関数が右からの関数適用
7. ラムダ記法

コンテキスト風書き方

1. 型付きの仮引数リスト
2. ラムダリスト
3. 集合の内包表記
4. 限量子の直後
5. スタックフレームの記述（プログラマのみ）