This is the symbol for
         ~p ⌵ ~q