I suppose these characters are found in Unicode.