# ⇸ U+21F8 RIGHTWARDS ARROW WITH VERTICAL STROKE

- = z notation partial function