Обнаружил, что можно вводить дополнительные символы при помощи цифровой клавиатуры. Настройка оказалась до смешного простой: надо в ствойствах клавиатуры (Keyboard Preferences) в группе «Numeric keypad layout selection» выбрать, например, пункт «Unicode additions» и получить такую раскладку:
Красным отмечены символы, вводимые на третьем уровне (в моём случае - с нажатой правой клавишей Alt), оранжевым - на четвёртом (правый Alt плюс Shift).
Косая черта - не простая, а особенная, для ввода произвольных обыкновенных дробей. Если числитель в такой дроби записать как верхний индекс (вводится как Compose, ^, цифра), а знаменатель - как нижний (Compose, _, цифра), то получается, например, ¹⁷∕₄₂.
На кнопке с минусом - минус. Именно минус (−,
U+2212, MINUS SIGN), а не дефис (-). На кнопке со звёздочкой - точка (⋅,
U+22C5, DOT OPERATOR). RAlt+Shift+. - узкий неразрывный пробел (
U+202F, NARROW NO-BREAK SPACE)
Есть и другие раскладки, например, без двойных стрелок, но с квадратными скобками, знаками <, > и прочей околоматематической красотой.