Previous:
bd
, Up:
Boolean Rules
6.4.4 Symbol Negation