约束公式中允许的数学运算。