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
```