Changed notation for {relation/set}-complement from "blah^c" to "¬blah".