Now 'LaTeX' holds the monoid laws. :)