# → U+2192 RIGHTWARDS ARROW

- = z notation total function