Мир булевой алгебры: визуализация математических обозначений