existential operator

n

a device of the metalanguage indicating a limited replacement of a variable by certain specific value(s) whose number (if definite) is indicated by n, cf. The Languages of Science; the symbol for e. o. is an inverted "E" mnemonic "exists"; the e. o. is one of the logical quantifiers and opposes the universal operator