So there is an easier way to do this, but you need to know the Unicode number for the character you want, and preferably in decimal notation. The simplest way would be to call the Unicode number, which is typically shown in hexadecimal, and call:
Unicode = '';
Char will output the Unicode character which can be inserted into the uicontrol correctly. So the code you would need would be:
Let me know if this helps.