In logic, a term is a collection of symbols used to represent a mathematical object (rather than a mathematical statement). A basic term is either a constant or a variable, while more complex terms can also be built using operators (such as the term formula_1). To refer to a term, variables such as formula_2 and formula_3 are often used.