1.1-1.9:

*** Error: ambiguous mixfix term

a < (a < a)

(a < a) < a

2.1-2.40:

*** Error: ambiguous mixfix term

((i div p) <= (j div q)) <=> ((i * q) <= (j * p))

(i div p) <= ((j div q) <=> (i * q)) <= (j * p)

3.1-3.19:

*** Error: ambiguous mixfix term

L --> ([ x ])

L --> ([ x ])

4.1-4.17:

*** Error: ambiguous mixfix term

(f a) <= ((f a) <= (f a))

((f a) <= (f a)) <= (f a)

(f a) <= (f a) <= (f a)

5.1-5.5:

*** Error: ambiguous mixfix term

(m #) #

(m #) #

6.1-6.5:

*** Error: ambiguous mixfix term

D (A b)

(D A) b

7.1-7.20: *** Error: expected further mixfix token: ["p","x"]

8.1-8.8: *** Error: expected further mixfix token: ["else"]

parse error at 9.3:

unexpected keyword "then" or "t"

expecting "%", ":", "as", "in", "=e=", "=", id/literal, "{", "[", "(", "if", "when", "forall", "exists!", "exists", "\\", "case", "let", "where" or end of input

parse error at 10.3:

unexpected keyword "else" or "e"

expecting "%", ":", "as", "in", "=e=", "=", id/literal, "{", "[", "(", "if", "when", "forall", "exists!", "exists", "\\", "case", "let", "where" or end of input

parse error at 11.7:

unexpected end of input

expecting casl char, "_", "%", "=e=", "=", id/literal, "{", "[", "(", "if", "when", "forall", "exists!", "exists", "\\", "case" or "let"

parse error at 12.3:

unexpected keyword "then" or "t"

expecting "%", ":", "as", "in", "=e=", "=", id/literal, "{", "[", "(", "if", "when", "forall", "exists!", "exists", "\\", "case", "let", "where" or end of input

parse error at 13.3:

unexpected keyword "else" or "e"

expecting "%", ":", "as", "in", "=e=", "=", id/literal, "{", "[", "(", "if", "when", "forall", "exists!", "exists", "\\", "case", "let", "where" or end of input