正方形の像

その関係に付された定義を確認します。

関数を記述する形式体系であるラムダ計算について書かれたバレンエントの本では、⊏は抽象的な集合上の半順序を表します。半順序では、すべての要素同士を比べられるとは限らないため、ここで数字を比較しているわけではありません。

Unicode 18.0の鏡映データでは、右から左へ読む文章での表示に備えて⊏と⊐が対応づけられています。表示処理によって反対向きの字形が現れても、保存されている文字は⊏のままです。