:: deftheorem defines '\' XBOOLEAN:def 12 :
for p, q being boolean object holds p '\' q = p '&' ('not' q);