Its symbolic representation is "anti-E". A proposition with this word is called a special proposition.
"Dao A" is a full-name quantifier. A proposition with the words "all" and "arbitrary" is called a universal proposition.