Put back the space in ¬ x

That's how theories/Unicode/Utf8_core.v does it in the stdlib.