@@ -83,8 +83,8 @@ rule:
8383The value of the result of ``parity k`` affects the form of ``k``,
8484because the result of ``parity k`` depends on ``k``. So, as well as
8585the patterns for the result of the intermediate computation (``Even``
86−and ``odd``) right of the ``\mid``, we also write how the results
87−affect the other patterns left of the :math:`\mid`. Note that there is
86+and ``odd``) right of the ``|``, we also write how the results
87+affect the other patterns left of the ``|``. Note that there is
8888a function in the patterns (``+``) and repeated occurrences of
8989``j``—this is allowed because another argument has determined the form
9090of these patterns.