Predicate symbol

Redirect to:

• Predicate variable