Распространяемый Яндексом Punto Switcher помимо основного функционала (автопереключение раскладок и трансляция неверно набранного) весьма полезен для внедрения типографики «на лету», причём не только для лингвистики, но и математики с химией. В его настройках есть раздел Автозамена, часть коллекции из которого я представляю ниже. Где найти символы? В каждой винде есть "таблица символов", садитесь на неё верхом и делайте свой сборник. Знак ` (он же "ё" на русской раскладке) я использую для выделения сочетаний, которые иначе бы срабатывали при обычном наборе текста. Также туда можно запихнуть заготовки html-тегов и вообще команды для любимых языков программирования, а ещё конструктор смайлов ≺(⊙‿‿⊙)≻
Здесь обратить внимание на «кавычки-ёлочки»
А здесь на оба тире - - и два вида ударений
Впрочем, часть букв присутствует уже с ударной версией (бывает, что ударение где-то не встраивается над буквой)
Дальше идут целые коллекции знаков, если те практически никогда не пригождались по одиночке
А вот степени нужны по отдельности
Немного химии
И математики; особенно полезны × и ±; а вот <= и >= требуют экранирования знаком `, так как широко используются в программировании
[Последняя строка представляет собой остаточный набросок]производное f'(x) частное пр. ∂f/∂y следствие ⇒→⊃ равносильно ⇔ и ∧ или ∨ не ¬ для всех ∀ существует ∃ пустое множество ∅ не множество ∉ подмножество ⊆⊂ надмножество ⊇⊃ соб.подмножество ⊊ соб.надмножество ⊋ объединение ∪ пересечение ⋂ разность множеств \ отображение ↦