N.Ch. писал(а):
Увы, в ТеХ'овских макросах не разбираюсь, поэтому вопрос: а не проще обойтись пакетом semantic?
\usepackage[inference,ligature]{semantic}
\begin{document}
%\formula[((A=>B=>C)&(D=>E)&F)=>G]
\inference{\inference{\inference{A}{B}}{C} & \inference{D}{E} & F}{G}
Хорошо форматирует. И на конъюнкцию не обижается.
Или обязательно хочется вместо \command{A}{B} иметь {A=>B} ? Тогда я пас.
Хе. Как говориться, все уже до нас придумали умные люди, нужно только найти :) Мне понравился этот пакет semantic... Проблемка конечно заключается больше в том, что я живу под plain TeX, но это, похоже долго не продлится, т.к. слишком уж много под ним нужно переписывать :) А на счет синтаксиса --- это не принципиально :) Нужно всего лишь оптимизировать набор, просто в том случае он был бы еще и приятным :)
bolbot писал(а):
Если понимать расширительно, то для подобных целей специально заведена тема Help me please!!!
Виноват. А на счет разделения на темы вроде HELP ME!!!, задачки 1-ого, 2-ого и тому подобного уровня и т.д. приведёт просто к сворачиванию форума до 6-9 тем по 50--100 страниц. [
Ну до этого пока далеко. Дорастем, тогда с высоты достигнутого к тому времени модерского мастерства виднее будет//bolbot] Поэтому поиск интересующей темы по ключевым словам будет исключен. Если я не прав, поправьте меня пожалуйста :)