Symbols and formulas A-practicals by