Arrow Refactor

replaced all `\rightarrow` with `\to` (identical) for improved legibility of latex
replaced `\to` by `\mapsto` in function definitions.

A correct function definition looks like this:
```tex
$f: X \to Y, x \mapsto y$
```