∀𝑥

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

∀𝑥/∃𝑥🤔

#quantified statement #variable binding #scope of quantifier #first-order logic #predicate calculus #logic variable