Без заголовка

Мне более подходящим кажется не разделение, а оценивающий подход. Есть случаи, когда выгоднее заплатить не-интуитивностью за новую степень абстракции, просто следует понимать цену. И как её можно снизить. Моделирование мыслительных процессов математиков (из http://ailev.livejournal.com/831024.html) очень привлекательно в этом ключе, прям зацепился. Про графическую нотацию понятно. Можно использовать даже несколько нотаций/view, совпадающих по геометрии, но с разными символами, в зависимости от цели применения.