右向き三角形の横の縦線

関係の意味は、その表記法で定めます。

中置記号とは、関係する二つの式の間に置く記号です。2026年時点で、ウェブ上の数式表記形式である MathML は ⧐ を中置演算子として分類し、RightTriangleBar という名前を付けています。形は縦線と右向き三角形として説明されています。この名前が示すのは形であり、数学上の関係の意味ではありません。

数式処理言語の Wolfram Language では、x⧐y を演算子を使った式として受け付けます。2026年時点で、この演算子に言語組み込みの意味はありません。式だけでは、作者がどの関係を表そうとしたのか分かりません。