U+2901 RIGHTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE

⤁

• =alias z notation finite surjection
• →cross-reference U+2B35 ⬵ LEFTWARDS TWO-HEADED ARROW WITH DOUBLE VERTICAL STROKE