Don't print a space after ¬ in the pprint of Not