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].
Merge pull request #432 from JasonGross/format-notations

Add format specifiers to notations to remove space
./autogen.sh