Relation symbol
Redirect to:
Predicate variable