Как красиво поделить уголком?

[bot]

Вот мои извращения

$\begin{array}{llllc} 1+x+x^2 && \mid \underline{\qquad\qquad 1-x+x^2}\\ \underline{1-x+x^2} && 1 + 2x +2x^2-2x^4-2x^5 +2x^7 +2x^8+o(x^8) \\ 2x && \\ \underline{2x-2x^2+2x^3} && \\ 2x^2-2x^3 && \\ \underline{2x^2-2x^3+2x^4} && \\ -2x^4 && \\ \underline{-2x^4+2x^5-2x^6} && \\ -2x^5+2x^6 && \\ \underline{-2x^5+2x^6-2x^7} && \\ 2x^7 && \\ \underline{2x^7-2x^8+o(x^8)} && \\ 2x^8+o(x^8) && \\ \underline{2x^8+o(x^8)} && \\ o(x^8) && \\ \end{array}$

[Someone]

Вот пример из руководства Львовского, стр. 222—223:

$$ \arraycolsep=0.05em \begin{array}{rrr@{\,}r|r} x^2&{}+2x&{}-12&&\,x+5\\ \cline{5-5} x^2&{}+5x&&&\,x-3\\ \cline{1-2} &{}-3x&{}-12\\ &{}-3x&{}-15\\ \cline{2-3} &&3 \end{array} $$

[ИСН]

Как ни крути, нужна либо колоссальная таблица, либо призрак оперы в начале каждой строчки (\phantom).

[algia]

Когда у меня возникла подобная проблема, была использована matrix of math nodes из TikZ/PGF, чтобы нарисовать ещё и минусы слева.
Но это, пожалуй, подпадает под определение колоссальной таблицы.

[bot]

Всем спасибо.