% : ABBREV

% is a logical abbreviation.
No more help available. Sorry.
LAMBDA f(AB) LAMBDA x(OB) LAMBDA z(A) EXISTS t(B).x t AND z = f t
Type variables are: ("A" "B")

TPS documentation homepage


% : TEX-CHAR

% is a tex special character.
Prints as %

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage