#for all #for every #predicate logic #quantifier #universal scope #domain of discourse #∀ symbol