∀𝑥/∃𝑥🤔

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