Function symbol

Redirect to:

• Functional predicate