Language, notation and formulas