Easy TeX folding