【全称量化記号】

ぜん￨しょう･りょう￨か･き￨ごうzenshō·ryōka·kigō8

N.
Logik Allquantor m m; Universalquantor m m; Universalquantifikator m m; Generalisator m m; ∀.