Add complementation operator ^

See Hayes & Wilson (2008) for examples