!=
Gen
!==
Gen
&&
Prop
Result
+
FreqMap
++
Prop
Result
FreqMap
-
FreqMap
--
FreqMap
:|
Gen
Prop
ExtendedBoolean
==
Gen
Prop
==>
Prop
ExtendedBoolean
Result
=?
Prop
ExtendedAny
?=
Prop
ExtendedAny
|:
Gen
Prop
ExtendedBoolean
||
Prop
Result