Implement LaTeX representation of explicit state updaters