| polski | pol-000 |
| kwantyfikator egzystencjalny | |
| English | eng-000 | existential operator |
| English | eng-000 | existential quantifier |
| suomi | fin-000 | eksistenssikvanttori |
| suomi | fin-000 | eksistentiaalinen kvanttori |
| français | fra-000 | quantificateur existentiel |
| 日本語 | jpn-000 | 存在記号 |