Universal Quantifier Symbol Math