! 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
Add reflexive subuniverse theory
Indentation
Add reflexive subuniverses theory
Reflexive -> Reflective
Style corrections
Proof of paths_subuniverse without pullbacks
add ReflectiveSubuniverse.v
fix details
Merge pull request #435 from mikeshulman/lvdoc

! suffices in newer emacsen
Merge pull request #393 from KevinQuirin/reflexive_subuniverse

Reflective subuniverses