U+21FB RIGHTWARDS ARROW WITH DOUBLE VERTICAL STROKE

⇻

• =alias z notation finite function