# ↣ U+21A3 RIGHTWARDS ARROW WITH TAIL

- = z notation total injection