@apgox indeed. I'd be surprised if this student knew TeX, and the TeX command is pretty hard to justify as well!