Thanks for creating lots of exercise discussions!
Here's a problem I stumbled upon: in LaTeX, { and } are control characters, so
$$ f_! (A) := { y \in Y | \exists a \in A \text{ such that } f a = y } $$
merely produces
$$ f_! (A) := { y \in Y | \exists a \in A \text{ such that } f a = y } $$
In this installation of MathJax the solution is to use \{ and \}. For example:
$$ f_! (A) := \\{ y \in Y | \exists a \in A \text{ such that } f a = y \\} $$
produces
$$ f_! (A) := \{ y \in Y | \exists a \in A \text{ such that } f a = y \} $$
I'll repair these and other problems when I meet them. Starting on Thursday I'll go through all the exercises in Chapter 1 and "announce" them.