\forall : any symbol in math \xleftarrow{text} : 带文字的箭头 \langle x,y \rangle : 尖括号 <x,y> space in math mode \; a thick space\: a medium space\, a thin space\! a negative thin space