rebindable syntax for negation and left sections