Я написал ответ в LaTeX на вопрос, заданный в cstheory.stackexchange. Я хотел бы скопировать его в фактический ответ на исходный вопрос. Как это сделать?
Основная проблема в том, что LaTeX содержит теоремы (определения, леммы и т. д.), и я хочу, чтобы они хорошо смотрелись в ответе, а не просто:
\begin{lemma} ... \end{lemma}