【全称記号】

ぜん￨しょう･き￨ごうzenshō·kigō5

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