Function symbol (logic)
Redirect to:
Uninterpreted function