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

unreadable.)

INFIX-NOTATION takes values of type BOOLEAN.

It belongs to subjects PRINTING .

Its default value is T

Its current value is T.

© 1988-99, Carnegie Mellon University.