U+21F8, ⇸
RIGHTWARDS ARROW WITH VERTICAL STROKE

[U+21F7]
Arrows
[U+21F9]

Translingual

Symbol

  1. partial function, in Z notation