Depende se a fonte que você usa tem esses símbolos definidos ou não.
Encontrei uma maneira básica de alterar a fonte aqui :
- Choose the menu option Settings - Style Configurator…
- In the Style configurator dialog, choose the Global Styles language
- Then, select the Default Style style
- Finally, in the Font Style area, you can select your favourite font and/or its size, too
Quando eu escolho uma fonte da lista, ela é aplicada imediatamente, por isso é fácil ver qual delas suporta os caracteres de que você precisa. É claro que se você usar mais do que "Global Styles" / "Default Style", então você deve modificar a solução acima de acordo.