\quad\forall是空格和任意符号
∀：\forall
∃：\exists
空格：\quad
分数线:\frac
无穷大：\infin