∃

Symbol

symbol

1. existential quantifier: there exists