Well, one notation for NOT is , but I won't be using that, due to collision with ``mean value'' notation. Other notations one sees sometimes are (often used in programming) or . I don't think we'll need to use this much in this class though.