Some minor fixes to TeX hacking for monad syntax.

In short, spaces shouldn't appear in the "hol" field of TeX_notation
call because tokens with spaces in them aren't going to get omitted
if the grammar rule is remotely sensible (math mode munging gets hard
if there are literal spaces around).  Putting spaces into the TeX
field is wrong (even wronger, really) for the same reason.