Translation English French: existential quantifier

• Lexicographical index
• :
• existential operator
• |
• existential quantifier
• |
• existing