Как мне вставить специальные символы в виде текста в XML-редактор для Android?

Итак, я пишу приложение, в котором используются математические символы. Я делаю это в визуальном редакторе XML. Есть ли способ получить, скажем, интегральный символ или символ «меньше или равно»? Такие вещи.

Спасибо!