Monadic Relational Predicate

Dydadic Relational Predicate

Universal Quantifier (∀)

Existential Quantifier (∃)

Identity (=)