В MikTex 2.8 не отображаются некоторые символы

[Sonic86]

\leftthreetimes $\leftthreetimes$ (но работает $\times$)
\trianglelefteq $\trianglelefteq$ (но работает $\triangleleft$)
не отображаются. Я так понимаю, мне нужен какой-то пакет скачать, но не знаю, как определить его название, подскажите.

[Leox]

у меня в преамбуле стоит

\usepackage{latexsym, amsmath, amscd, amssymb, amsthm} 

и все хорошо отображается.

[Sonic86]

Leox в сообщении #488498 писал(а):

у меня в преамбуле стоит

\usepackage{latexsym, amsmath, amscd, amssymb, amsthm}

и все хорошо отображается.

Во! Классно! Спасибо, они у меня уже даже есть. Спасибо!