Represents a symbol in a propositional formula. Could be a variable, operator, or parenthesis.
The atomic component of the symbol
Type classification of the symbol
Position in the expression
String representation
Represents a symbol in a propositional formula. Could be a variable, operator, or parenthesis.