lbrace 式 rbrace
a neq b
a != b
a <= b
a >= b
forall
exists
a equiv b
%DELTA
文字_{小文字}
->
rightarrow
toward
drarrow
<-
leftarrow
dlarrow
dlrarrow
dotslow