Мне кажется, что следует развести по разным разделам TeX и форумный TeX
Слишком много общего.
Munin уже поднимал тему насчёт включения пакета cancel в форумный ТеХ.
Вообще-то cancel слабоват по возможностям. Я дал больше вариантов, иногда они бы мне пригождались (например, вычёркивание в разные стороны).
Хочется ещё нарисовать средствами XYpic приведение дробей к общему знаменателю.
-- 08.07.2014 19:07:46 --\jot - некая стандартная длина в XYpic, равная по умолчанию
3pt . Её можно сделать больше - тогда стрелочка вылезет дальше.
Пример:
$(a+b)(a-b)=a^2+\begin{xy}*{ab-ab};p+LD;+UR**h@{}+/1cm/**h@{-}*h@{>}*h!LD{\scriptstyle 0}\end{xy}-b^2$
(перебор :-)