SML90 definition, updated for LaTeX 2e