optional tex conversion