TeX Quellcode:
\trianglelefteq, \trianglerighteq