# ⇻ U+21FB RIGHTWARDS ARROW WITH DOUBLE VERTICAL STROKE

- = z notation finite function