Actually typeset latex