!=

Gen

!==

Gen

&&

Prop Result

+

FreqMap

++

Prop Result FreqMap

-

FreqMap

--

FreqMap

:|

Gen Prop

==

Gen Prop

==>

Prop ExtendedBoolean Result

=?

Prop ExtendedAny

?=

Prop ExtendedAny

|

Gen

|:

Gen Prop

||

Prop Result