Я использую латекс для моделирования нескольких функций с использованием Z-нотации , однако у меня...

Полное раскрытие, это для университетского курса.Я не ожидаю прямого ответа, но помощь будет...

Есть ли пакет для LaTeX, который будет поддерживать написание спецификаций Z? Меня интересуют как...

Можно ли создавать схемы Zed Notation в LyX? Как это можно сделать?