Use "\t" instead of "    " to indent TeX code

This makes copy-pastering much more convenient...