Well sure, but I'd still say the problem isn't commutativity, it's that our notion of identity is ill-defined if we base it on whether the LaTeX output is the same