Fixed parser bug. \lnot was getting too high priority.