Suggested change to UI for using TeX

Top