*** 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