added \in, \triangleright, \cong, etc