Previous:
bd
, Up:
Boolean Rules
6.4.4 Symbol Negation
~T <=> !
~! <=> T