| 日本語 | jpn-000 |
| 存在記号 | |
| 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 |
| polski | pol-000 | kwantyfikator egzystencjalny |