Commit changes to notation file.
Remove notation file.
Add gitignore file.
Add default preamble.