Symbolic maths library.