Add definitions to TeX