.gitignore: Exclude the dvi.
Punctuation and put symbol in italics.
Baroque structures came from outside the Project.