如何在Android的XML编辑器中插入特殊字符作为文本?

So, I'm writing an app that involves using some mathematical symbols. I'm doing this in the visual XML editor. Is there any way I can get, say, an integral symbol, or a "less than or equal to" symbol? Things like that.So, I'm writing an app that involves using some