Переопределение исходной формы

Используйте, чтобы заменить отображение формы ещё до применения остальных правил.

ФормаЗначение

Переопределение итогового отображения

Используйте, чтобы заменить финальный вывод после всех преобразований.

ИсходноеНовое

Альтернативы по форме

Добавляйте пользовательские леммы, которые появятся в списке альтернатив для указанной формы.

ФормаЛемма