Thanks for the reply. I am quite aware that the symbols are available by going through the menus. It's quite inconvenient to have to do that now, when with previous fonts there were keyboard shortc...
