n. (Logic) the symbol that indicates that the open sentence that follows is true of at least one member of the relevant universe, written (∃x); (∃x)(Fx) may represent something is (an), F, something Fs, or there are (some) Fs.