f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5Christoph Lange*** Error 1.5-1.13, expected further mixfix token: ["/\\","<=>","=>","\\/","if"]

f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5Christoph Lange*** Error 2.5-2.9, expected further mixfix token: ["/\\","<=>","=>","\\/","if"]

f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5Christoph Lange*** Error 3.1-3.9, ambiguous mixfix term

f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5Christoph Lange a < (a < a)

f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5Christoph Lange (a < a) < a

f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5Christoph Lange*** Error 4.1-4.40, ambiguous mixfix term

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

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

a67fd7166d27ae4f9a8a5ccbe744c6e5996e0208Christoph Lange*** Error 5.1-5.19, ambiguous mixfix term

a67fd7166d27ae4f9a8a5ccbe744c6e5996e0208Christoph Lange L --> [ x ]

a67fd7166d27ae4f9a8a5ccbe744c6e5996e0208Christoph Lange L --> [ x ]

f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5Christoph Lange*** Error 6.5-6.9, expected further mixfix token: ["!=","/=","/\\","<","<="]

f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5Christoph Lange*** Error 7.1-7.17, ambiguous mixfix term

f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5Christoph Lange (f a) <= ((f a) <= (f a))

f4aeb94f5c4d7055923e81b9ed2443cee3ded2c5Christoph Lange ((f a) <= (f a)) <= (f a)

a67fd7166d27ae4f9a8a5ccbe744c6e5996e0208Christoph Lange (f a) <= f a <= (f a)

java.lang.NullPointerException