The Syntax of Negation