On Android, I use Unicode CharMap app.
Just copy what you need to the clipboard and paste it in the IRP editor as text comments