Зайцева читал. Кроме него, и вообще прежде всего, ориентируюсь на
E.Swanson, A.O'Sean, A.Schleyer. Mathematics into type (AMS,2000).
По поводу математических обозначений: разумеется, я не имел в виду плюс, минус и радикалы. Но вот, например, обозначения матриц, обозначения мат. логики - не раньше 19 века. В 20 веке стало принято писать векторы полужирным шрифтом, а на рубеже 19-20 веков каких только попыток ни встретишь: пытались развести разные объекты (скаляры, векторы, тензоры, матрицы, кватернионы, другие объекты), например, по алфавитам (большие, маленькие буквы, греческие). Не было принято индексных обозначений не то что для тензоров, но даже для векторов (вместо

писали

и буквы быстро кончались). Коммутативные диаграммы изобрели вообще вот только вчера. И процесс творчества продолжается, в качестве примера - тензорные обозначения Пенроуза в "Путь к реальности" (довольно неуклюжие, и я не думаю, что перспективные).