Refined the definitions, added more math symbols