Custom syntax

[jol]

Добрый день, встречал пару пакетов для LaTeXa, которые позволяли задавать произвольный синтаксис, например, переделывать все вхождения стрелочек -> в $\rightarrow$ или => в $\Rightarrow$. Подавались они под соусом упрощения набора сложных символьных выражений, но много чего ломали. Вот сейчас возникла ситуация, когда подобный функционал был бы кстати, хоть убейте, не могу даже нагуглить их названия, подскажите, пожалуйста!

[3D Homer]

\usepackage[shorthand]{semantic}. Опцию shorthand можно дать, если нужны только лигатуры, а не остальные возможности пакета (правила вывода, диаграммы и т.д.).

[jol]

3D Homer, спасибо!