Prover9 Infix/Prefix/Postfix Operations

Infix operations: =, !=, ==, <, <=, >, >= +, *, @, \, /, ^, v

Prefix operation: - (hyphen)

Postfix operation: ' (single quote)

Others can be declared, as in Otter.