Added pretty LaTeX representation, closes #7