После прослушивания и расспросов моего профессора, кажется, что наиболее удобный способ напечатать его в OSX - через Character Viewer, который можно включить с помощью:
- Перейдите в Системные настройки;
- Язык и текст;
- Входные источники;
- Установите флажок «Показать меню ввода в строке меню» внизу и установите флажок «Просмотр клавиатуры и символов» слева.