Хотелось бы иметь возможность выполнять символьные преобразования без вывода промежуточных результатов. В Maple, к примеру, можно "заглушить" вывод. Там для этого есть два "оператора печати": `;` и `:`. Когда последовательно выполняются символьные операции, чтобы не загромождать документ, нужна возможность прятать промежуточный вывод. Может плюсик какой приделать к стрелке. Если результат большой, то не вводить его, а подрисовать плюсик. Если пользователю нужно, он на него нажмёт и выражение отобразится. Либо вообще сворачивать/разворачивать по нажатию на стрелку. Может после стрелки рисовать скобки с плюсиком или троеточием: s—(...)

Когда отлаживаешь символьные расчёты нужно видеть промежуточные результаты, а когда отладил, то хочешь свернуть лишнее.

Области - это слишком круто. В них можно прятать целые алгоритмы, а вот небольшую последовательность выкладок не имеет смысла прятать в область. Результаты же этих малых выкладок могут быть произвольными по размеру.