Translation English French: existential operator

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