表达数学陈述的一组符号

• a group of symbols that make a mathematical statement