Added definitions to Glossary.tex