INFIX-NOTATION : FLAGINFIX-NOTATION is a flag or parameter.
If T, infix notation can be used for connectives and
abbreviations which have an INFIX property. If NIL, infix
notation is disallowed. (Note: If you set this to NIL,
library objects saved with infix notation will become
INFIX-NOTATION takes values of type BOOLEAN.
It belongs to subjects PRINTING .
Its default value is T
Its current value is T.
TPS documentation homepage