Update glossary.tex