new format for tex files