Некоторые обозначения в TeX
Для точки в комплексах работающее решение изложено тут:
https://tex.stackexchange.com/a/424252
Мне нравится \bigcdot@scalefactor 0.7 и \bigcdot@widthfactor 1.5.
Фактор 0.7 уменьшает площадь примерно в 2 раза, а фактор 1.5 делает выражения типа A^{\bigcdot + 1} выглядящими адекватно.

Образ множества X относительно отображения x \mapsto x^\lambda можно обозначать через X^{:\lambda}.
Обозначение странноватое, но, кажется, беспроблемное.
Это позволяет вместо ужасающего обозначения R^2 для множества квадратов элементов R писать R^{:2}.

Наконец, есть идея для "категории запятой" (комма-категории, англ. comma category) пары функторов
f: C \to S и g: E \to S использовать обозначение
C \tensor*[^f]{\lsqdiv}{^g_S} E (индексы можно опускать),
где \lsqdiv определяется так:
\newcommand{\lsqdiv}{%
\mathbin{\smash{\mkern4.5mu\mathclap{\rfloor}\mkern1mu\mathclap{\lceil}\mkern4.5mu}}}
Это "квадратный слэш", полученный склеиванием \rfloor и \lceil вдоль вертикальной линии.
Склеивание --- это колхоз, но такого символа в стандартном шрифте, вроде, нет, а тут оно выглядит не сильно вырвиглазно.
Кстати, кто-нибудь может сказать, как этот символ называется хоть где-то?