*** Error 1.1-1.3,

ambiguous mixfix term

[__](a)

__::__(a, [ ])

*** Error 2.3-2.6, expected further mixfix token: ["p","x"]

*** Error 3.2-3.6, expected further mixfix token: ["p","x"]

*** Error 4.3, expected further mixfix token: ["__"]

*** Error 5.1, expected further mixfix token: ["__"]

*** Error 6.1-6.4, expected further mixfix token: ["(","(var )"]

*** Error 7.1, unexpected mixfix token: (

*** Error 8.13, unexpected mixfix token: ,

*** Error 9.8-9.15, not a formula: (op a : b)

*** Error 10.8-10.16, not a formula: (var a : b)

*** Error 11.8-11.17, not a formula: (op a : b)(a)

*** Error 12.1-12.4,

ambiguous mixfix term

A__([__](a))

A[a]

__[__](A, a)

__[a](A)

*** Error 13.1-13.4,

ambiguous mixfix term

__[__](B, a)

__[a](B)

*** Error 14.1-14.9,

ambiguous mixfix term

A__([__]__(a, A__([__]__(a, p))))

__[__]__(A, a, A__([__]__(a, p)))

__[__]__(A__([__]__(a, A)), a, p)

____p(A, [__]__(a, A__([__](a))))

____p(A[a], A__([__](a)))

*** Error 15.1-15.5,

ambiguous mixfix term

A__(__!([__](a)))

__!(A[a])

*** Error 16.1-16.7,

ambiguous mixfix term

[__]([__]([__](a)))

__::__([__]([__](a)), [ ])

*** Error 17.1-17.9,

ambiguous mixfix term

A__([__](a))

A__(__::__(a, [ ]))

*** Error 18.1-18.11,

ambiguous mixfix term

__+__(b, [__]__(a, +__(b)))

__+__(__+__(b, [__](a)), b)

*** Error 19.1-19.5,

ambiguous mixfix term

[__](__+__(a, b))

__::__(__+__(a, b), [ ])

*** Error 20.3-20.5,

ambiguous mixfix term

[__](a)

__::__(a, [ ])

*** Error 21.1-21.5,

ambiguous mixfix term

-__([__](a))

-__(__::__(a, [ ]))

*** Error 22.1-22.8,

ambiguous mixfix term

A__([__](a))

A__(__::__(a, [ ]))

*** Error 23.1-23.4,

ambiguous mixfix term

__!([__](a))

__!(__::__(a, [ ]))

*** Error 24.1-24.10,

ambiguous mixfix term

[__](A__([__]__(a, +__(b))))

__::__(A__([__]__(a, +__(b))), [ ])

*** Error 25.1-25.10,

ambiguous mixfix term

[__](__+__(b, A__([__](a))))

__::__(__+__(b, A__([__](a))), [ ])

*** Error 26.1-26.12,

ambiguous mixfix term

A__([__](a))

A__(__::__(a, [ ]))

*** Error 26.1-26.12,

ambiguous mixfix term

A__([__](a))

A__(__::__(a, [ ]))

*** Error 27.1-27.8,

ambiguous mixfix term

A__([__]__(a, +__(b)))

__[__]__(A, a, +__(b))

__+__(A__([__](a)), b)

*** Error 28.4,

expected further mixfix token: ["!=","*","+","-","-->"]

*** Error 29.9-29.12, expected further mixfix token: ["p","x"]

*** Error 30.1-30.7,

ambiguous mixfix term

odd__(-__(a))

__-__(odd, a)