# [tlaplus] When to prefer function or operator?

There are cases when either a function or operator will solve a task more-or-less equivalently.

For example, both this function and operator accomplish a roughly-equivalent result:

addOne[x \in Nat] == x + 1