working towards outputting TeX of generated properties