Latex file encoded for #1, #2, #3