Может быть, проще изменить текст доказательства так, чтобы выключная формула не была последней строкой в доказательстве?
Иногда - не проще, поэтому такой вопрос и возник.
Цитата:
В конце доказательства я руками ставлю значок типа
Ну зачем "руками", если существуют способы делать это автоматически?
Это понятно, руками/не руками - в данном случае непринципиально.
Цитата:
Но ваша проблема с выключной формулой там не решается.
Вот именно... А решается ли она вообще?