tra-superscript/.gitignore