TeX source:
\trianglelefteq, \trianglerighteq