□

Vocabulary

boolean-expr

Class description

A union class of all classes defined in this vocab. In methods signatures it stands for "any variable or expression".

Definition

IN: boolean-expr

UNION: □ ⋀ ⋁ ¬ ⊤ ⊥ P Q R S T U V W X Y Z ;