GUI to LaTeX (first try)