Symbols and formulas by