neq->ne
le->leq
ge->geq
circ->vysmwhtcircle
lor->vee
land->wedge
lnot->neg
emptyset->varnothing
bigcirc->mdlgwhtcircle
to->rightarrow
lt->less
gt->greater
implies->Rightarrow
