! suffices in newer emacsen
Add Utf8 notations in a separate file
Add notation <>, add Utf8 notations from stdlib
Replace BULLET OPERATOR (∙) with BULLET (•)

Apparently, Emacs' built-in `tex` mode can do BULLET (`\bu` in
agda-mode), but not BULLET OPERATOR (`\.` in agda-mode).
Add an error message about BULLET OPERATOR

E.g., So that people coming from HoTT-Agda are less confused when using
agda-mode input.
Add unicode instructions
Merge pull request #376 from JasonGross/utf8-notations

Utf8 notations
Merge pull request #435 from mikeshulman/lvdoc

! suffices in newer emacsen
dos2unix theories/Modality.v