HoTT/HoTT — pull request #432 by JasonGross (2014-08-25 13:48:15+00:00)
Title: Add format specifiers to notations to remove space

Now things like `p^` will display as `p^` rather than `p ^`. This means that confusing expressions like `p ^ @ ! x` will be rendered as the less confusing `p^ @ !x`.