∀𝑥

#for all x #for every x #predicate logic #quantifier #formal notation #variable binding #∀ symbol