Notation has steadily advanced towards the more precise and concise, because it helps. Watch this interesting Lamport talk about the changes in notation: http://www.heidelberg-laureate-forum.org/blog/video/lecture-...