Replace unicode characters with ASCII

[SebastianLuzynski]

Those x characters are not standard ASCII x char, but some unicode symbol of vector multiplication. Whitespaces are not a standard ASCII whitespace character, but something different. This may cause issues for some tools that check for non-ascii characters in codebase.