In mathematical logic, especially model theory, non-logical symbols are elements of a formal language whose interpretation may change depending on the model. In first-order logic, these usually consist of constant symbols, function symbols, and predicates.