[Remark ７]

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

　a
　△　　＞→ d
b　　c

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