How do I insert special characters as text in XML editor for Android?

Question

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

Answer 1

will result in showing a clock

or in Kotlin:

myTextView.text = "\u23F0"