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.7:

unexpected keyword "then"

expecting id/literal

parse error at 10.7:

unexpected keyword "else"

expecting id/literal

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.7:

unexpected keyword "then"

expecting id/literal

parse error at 13.7:

unexpected keyword "else"

expecting id/literal