我有一個關於 LyX 的問題。例如，當我使用證明時，我會寫一些東西，但在證明的中間我必須證明另一個引理。所以我點擊引理，但它“關閉”了證明。我實在不知道該用什麼字來解釋它。我想在證明中使用引理，但我希望證明的事情繼續下去。有人可以解釋一下我該怎麼做嗎？我希望我的問題很清楚。我真的不知道這些東西的術語。謝謝。
答案1
您可以將遊標置於引理環境中並按Tab。當您完成引理後，請添加 a separator（也來自模組），並完成證明。
萊克斯截圖
輸出
萊克斯截圖
我有一個關於 LyX 的問題。例如，當我使用證明時，我會寫一些東西，但在證明的中間我必須證明另一個引理。所以我點擊引理，但它“關閉”了證明。我實在不知道該用什麼字來解釋它。我想在證明中使用引理，但我希望證明的事情繼續下去。有人可以解釋一下我該怎麼做嗎？我希望我的問題很清楚。我真的不知道這些東西的術語。謝謝。
您可以將遊標置於引理環境中並按Tab。當您完成引理後，請添加 a separator（也來自模組），並完成證明。