#define ident     1
#define trueSy    2
#define falseSy   4
#define orSy      8
#define andSy    16
#define notSy    32
#define implies  64
#define openSy  128
#define closeSy 256
#define eoExp   512

/* Symbol Values for the Wff Parser */
/* Note each is a "1-bit" value so we can use a word as a Symbol-set */