@@ -95,7 +95,7 @@ an AST, becomes the tagged union:
97The `%clhp` is for "colhep". Keep in mind that `p` and `q` would be
97The `%clhp` is for "colhep". Keep in mind that `p` and `q` would be
98−parsed too. So if `p` is `2` and `q` is 17, the parsed result is:
98+parsed too. So if `p` is 2 and `q` is 17, the parsed result is:
101[%clhp p=[%sand p=%ud q=2] q=[%sand p=%ud q=17]]
101[%clhp p=[%sand p=%ud q=2] q=[%sand p=%ud q=17]]