右向きの二頭矢印（尾付き）

⤖は二つの集合の間の全単射を表します。 全単射では、一方の集合の各要素が他方のただ一つの要素に対応します。異なる入力が同じ結果になることはなく、相手側に対応先のない要素もありません。

Z記法は数学的な仕様を表す形式体系です。そこでは⤖がこの種の写像を示します。

⤖は↠や↣と同じですか？

いいえ。⤖は全射と単射の性質を合わせて示します。 集合間の写像では、↠は到達先の集合のすべての要素に対応する写像を、↣は異なる入力が同じ結果にならない写像を表すのが一般的です。⤖はその両方を示します。

2026-09-05時点では、フォントによって⤖の描画が異なり、文字を含まないフォントでは代替の四角形が表示されることがありました。