Overview
Constant Symbols
constant symbols - {% c_1, c_2, ... %}
Function Symbols
function symbols - {% f_{1,1}, f_{1,2} ... f_{2,1}, f_{2,2}... %}
A function symbol is denoted by two numbers, such as {% f_{2,1} %}. The first number gives the number of arguments that the function takes. The second number is just an identifier.
Relation Symbols
relation symbols - {% R_{1,1}, R_{1,2} ... R_{2,1}, R_{2,2}... %}
A relation symbol is denoted by two numbers, such as {% R_{2,1} %}. The first number gives the number of arguments that the relation takes. The second number is just an identifier.
Logical Symbols
logical symbols - {% \land, \lor, \neg, \rightarrow, \iff %}
quantifiers - {% \forall, \exists %}
brackets = {% (,) %}
Equality
constant symbols - {% = %}