The exploration of Mathematical tools in Symbolic Languages. Examples are taken from calculus, differential equations, and linear algebra.