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

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

*** Error 3.1-3.9, ambiguous mixfix term

__<__(a, __<__(a, a))

__<__(__<__(a, a), a)

*** Error 4.1-4.40, ambiguous mixfix term

__<=>__(__<=__(__div__(i, p), __div__(j, q)),

__<=__(__*__(i, q), __*__(j, p)))

__<=__<=__(__div__(i, p), __<=>__(__div__(j, q), __*__(i, q)),

__*__(j, p))

__=__(__-->__(L, x), __-->__(L, [__] x))

*** Error 5.1-5.19, ambiguous mixfix term

__-->__(L, [__] x)

__-->__(L, __::__(x, []))

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

*** Error 7.1-7.17, ambiguous mixfix term

__<=__(f a, __<=__(f a, f a))

__<=__(__<=__(f a, f a), f a)

__<=__<=__(f a, f a, f a)

*** Error 8.1-8.5, ambiguous mixfix term

m # #

__#(__# m)

__#(m #)

*** Error 9.1-9.5, ambiguous mixfix term

D__(A b)

D A b