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

Это не совсем (хотя и нельзя написать "совсе не") про нотацию. Вот когда смотришь категорную семантику, то они и синтаксис тоже цепляют -- http://en.wikipedia.org/wiki/Categorical_semantics. А в целом конкретный синтаксис и синтаксический сахар (то, что входит в нотацию) мало кого волнует, языки чаще сейчас в терминах абстрактного синтаксиса определяют...