More cosmetic changes, added TeX output.