The ITP Language also contains formulas and operators. Descriptions of the formulas and operators that can be used can be found in the subtopics @, variable, Monadic operators, and Dyadic operators.