'∀'