USE-DOT : FLAG

USE-DOT is a flag or parameter.
If T, formulas are printed using Church's dot notation.
If NIL, only brackets will be used.
USE-DOT takes values of type BOOLEAN.
It belongs to subjects PRINTING .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage