U+21A6, ↦
RIGHTWARDS ARROW FROM BAR

[U+21A5]
Arrows
[U+21A7]

Translingual

edit

Symbol

edit

  1. (mathematics) maps to
    [f = (x x)] ↔ [∀x: f(x) = x]

Coordinate terms

edit
edit