There exists mathematical notation

There exists is a recurring research-paper notation family. Says that at least one object in the stated domain makes the following proposition true.

There exists: Says that at least one object in the stated domain makes the following proposition true. Example: The function has at least one root.