Эти заметки размещены в блоге ideas, т.к. там прикольно наблюдать за посещаемостью, т.е. создаётся впечатление что блог доступнее публике чем сайт ;-)
Операции как функции и инфиксная запись. идеи: знак операции как идентификатор, лексическая эквивалентность, КСГ с уникально помеченными правилами, синтаксическая эквивалентность и трансляция.
Знак процента (%) как элемент записи рационального числа.
Кванторы как максимум (∃) и минимум (∀). важно: кванторы оказываются некими математическими "операциями" выходящими далеко за пределы исчисления истинностных значений;-)