They're Unicode characters. Typing them depends on the operating system, but you can just copy+paste them in from here if you like. http://www.fileformat.info/info/unicode/char/2606/index.htm and http://www.fileformat.info/info/unicode/char/2605/index.htm