Общая алгебра, универсальные алгебры 2

Answer 1

Ты что-то нужное закрыл красной рамочкой.
Я бы прочитал эту хрень так: это обозначение данной операции. А замысловатое выражение сопоставим символ намекает, что мы сейчас займемся построением каких-то там формальных грамматик - будем синтаксис всяких формул описывать и т. п.

Но ты читай дальше, вдруг я не прав сильно.