Unicode characters get converted to codes in CoqIDE on my Mac

Using Coq
1

I keep finding that CoqIDE converts my unicode characters to their code representation:

Notation " f \u27fc g " := (Compose f g)
  (at level 39, right associativity) : program_scope.

Notation " a \u2016 b " := (Par2 a b)
  (at level 45, right associativity) : program_scope.

I end up having to restore it to:

Notation " f ⟼ g " := (Compose f g)
  (at level 39, right associativity) : program_scope.

Notation " a ‖ b " := (Par2 a b)
  (at level 45, right associativity) : program_scope.

Is there some way to persuade CoqIDE to not mess with the unicode characters?
I notice that CoqIDE on my Linux machine does not seem to do this.

Many thanks.

2

Which version? 8.10 is significantly different…

3

I’ve experienced this behaviour on 8.9, 8.9.1 and 8.10.1. Thank you.

4

This looks like a bug worth reporting… although it may be hard to debug.