Add a TeX option.