Typeset NuPRL the same way as Coq and Agda.