> It might help readability, but how do I type it

You google the name of the character you want to type, followed by
"unicode", then open the first search result, copy the character to
your clipboard, and paste it into your code. Simple as.