There is at least one value of x for which f(x) is true.
Example:
∃ x: f(x)
means that there is at least one value of x for which f(x) is true.
© Symbols.com