Как растянуть символ?

[jhanjaa]

Простите, никак не могу найти: нужен символ

[math]$\Rightarrow$[/math]

$\Rightarrow$ растянутый по вертикали. Как это сделать?

[Delpiero]

$\scalebox{1}[2]{$\Rightarrow$}$. В коде "1" указывает коэффициент сжатия по горизонтали, а [2] --- по вертикали.

\scalebox{1}[2]{$\Rightarrow$}

[jhanjaa]

Спасибо!

-- Сб мар 10, 2012 10:27:09 --

Однако, какой pakage надо присоединить, чтобы scalebox читался?

-- Сб мар 10, 2012 11:03:17 --

Почему-то для scalebox не определена контрольная последовательность

[Алексей К.]

Поскольку на форуме в сообщении Delpiero это сработало, можно взглянуть сюда, на списочек местных пакетов. Думаю, это graphicx .

[ewert]

Да. Только работает это лишь при выводе в PDF, но не в DVI.

[jhanjaa]

Всем спасибо! Сработало, но чтобы было в строке пришлось еще raisebox'ом опускать и делать отдельную команду, чтобы в индексе уменьшалось.