HoTT/HoTT — pull request #4 by mikeshulman (2011-11-22 19:36:49+00:00)
Title: Removed Unicode, total, and tpair; used == for paths.

I went ahead and implemented the notation changes discussed on the mailing list: specifically, removing all Unicode, and using == for paths and <~> for equivalences (which nobody has objected to so far...).