arithmetical formulas