The Elegant Language of MATH