equal->ne
less
greater->ngtr
leq
geq
vert->nmid
subset
supset
subseteq
supseteq
prec
succ
asymp
equiv
in->notin
ni
vdash
Vdash
vDash
VDash
sqsubseteq
sqsupseteq
sim
simeq->nsime
cong
mid
parallel
exists
approx
lesssim
gtrsim
lessgtr
gtrless
preccurlyeq
succcurlyeq
triangleleft
triangleright
trianglelefteq
trianglerighteq
