Messing with TeX, with some results