Which symbol represents the universal quantifier?
exists\\existsexists
forall\\forallforall
neg\\negneg
in\\inin