Depois de bisbilhotar e perguntar ao meu professor, parece que a maneira mais conveniente de digitá-lo no OSX é através do Character Viewer, que pode ser ativado por:
- Ir para as Preferências do Sistema;
- Idioma e texto;
- Fontes de entrada;
- Marque a opção "Mostrar menu de entrada na barra de menu" na parte inferior e marque "Visualizador de teclado e de caracteres" à esquerda.