> Ah, I was just looking in the TeX in the mail and it might have been a macro > name which expands to MLton. Sorry. Yes, {\mlton} expands to MLton.