U+2915 RIGHTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE

⤕

• =alias z notation finite injection
• →cross-reference U+2B3A ⬺ LEFTWARDS ARROW WITH TAIL WITH DOUBLE VERTICAL STROKE