[Remark 7]

>>71 で定義された4項関係 □(a, b, c, d) により
プリミティブの縮約

 a
 △  >→ d
b  c

は a, b, c の並びに依存しないことが分かります。
よって三角形を △(abc) のように書いても混乱はないと思います。
そこで今後はスペースを節約する場合は△(abc)と書き、
ビジュアル的にイケてる場合は平面図形の記法を使います。