# ↠ U+21A0 RIGHTWARDS TWO HEADED ARROW

- = z notation total surjection
- = fast cursor right