text: ∀ simvolu riyaziyyatda universal kvantifikasiyanı bildirmək üçün istifadə olunan məntiq simvoludur və "hamısı üçün" kimi tərcümə olunur. İlk dəfə Qerhard Qentsen tərəfindən 1935-ci ildə istifadə olunmuşdur. O, ilk dəfə Cüzeppe Peano tərəfindən istifadə olunmuş Ǝ simvolundan ilhamlanmışdır.