parse ¬ (\neg) as a prefix operator
Merge pull request #7630 from stevengj/neg

parse ¬ (\neg) as a prefix operator