⇸
⇸
U+21F8
,
⇸
RIGHTWARDS ARROW WITH VERTICAL STROKE
←
⇷
[U+21F7]
Arrows
⇹
→
[U+21F9]
Translingual
Symbol
⇸
partial function
, in Z notation