Comment by kyberias

How are those Unicode characters typed in an editor with a normal keyboard?