Computation - Indicator
A group of symbols that make a formal mathematical statement.