右向きの先端が開いた矢印

右向きであることを示し、正確な役割は記法によって決まります。 数学や論理の文章では、⇾が特殊な演算子として使われることがあります。どの関係を表すかは、周囲の式が決めます。

矢印は昔から方向を示す実用的な印として使われてきました。矢印を使った説明用の図は、西暦1世紀ごろのものが知られています。矢印の形は19世紀半ばから後半にかけて簡略化され、1922年にはダフィット・ヒルベルトが論理的な含意を表すのに矢印を使いました。これらは矢印全般の歴史上の出来事であり、⇾の意味を一つに定めるものではありません。

MathMLでは、⇾は伸縮可能な中置演算子に分類されます。式の要素の間に置かれ、式に合わせて伸びることがあります。これは配置上の役割であり、普遍的な意味を与えるものではありません。