TeX code (submitted version)