Hardcoded declaration in index.tex