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