renamed symbol names: Char_Plus -> Char_Add, Char_Multiply -> Char_Mul, etc.