I'm using openboard on my mobile and it is probably mapping the wrong UTF-8 character for that symbol.