On 2017-05-02 04:15, Eli Zaretskii wrote:
> If you change the font use for displaying ℝ and ≤, does the problem go
> away?

No: it seems to happen both in my heavily-customized Emacs and in emacs -Q.

Clément.