REDUCE

17.1 Symbolic Infix Operators

There are three binary infix operators in REDUCE intended for use in symbolic mode, namely . (CONS), EQ and MEMQ. The precedence of these operators was given in another section.