# Unicode characters get converted to codes in CoqIDE on my Mac

**URL:** <https://discourse.rocq-prover.org/t/unicode-characters-get-converted-to-codes-in-coqide-on-my-mac/495>\
**Category:** Using Rocq\
**Created:** [November 5, 2019, 11:24pm UTC](https://discourse.rocq-prover.org/t/unicode-characters-get-converted-to-codes-in-coqide-on-my-mac/495 "2019-11-05T23:24:58Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![satnam6502](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/satnam6502/32/198_2.png) [@satnam6502](https://discourse.rocq-prover.org/u/satnam6502)\
**Post date:** [November 5, 2019, 11:24pm UTC](https://discourse.rocq-prover.org/t/unicode-characters-get-converted-to-codes-in-coqide-on-my-mac/495/1 "2019-11-05T23:24:58Z")

</div>

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

```auto
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:

```auto
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.

---

<div class="post-metadata">

**Author:** ![Blaisorblade](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/blaisorblade/32/56_2.png) [@Blaisorblade](https://discourse.rocq-prover.org/u/Blaisorblade)\
**Post date:** [November 8, 2019, 11:00pm UTC](https://discourse.rocq-prover.org/t/unicode-characters-get-converted-to-codes-in-coqide-on-my-mac/495/2 "2019-11-08T23:00:21Z")

</div>

Which version? 8.10 is significantly different…

---

<div class="post-metadata">

**Author:** ![satnam6502](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/satnam6502/32/198_2.png) [@satnam6502](https://discourse.rocq-prover.org/u/satnam6502)\
**Post date:** [November 9, 2019, 6:24pm UTC](https://discourse.rocq-prover.org/t/unicode-characters-get-converted-to-codes-in-coqide-on-my-mac/495/3 "2019-11-09T18:24:28Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![Zimmi48](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/zimmi48/32/7_2.png) [@Zimmi48](https://discourse.rocq-prover.org/u/Zimmi48)\
**Post date:** [November 14, 2019, 4:38pm UTC](https://discourse.rocq-prover.org/t/unicode-characters-get-converted-to-codes-in-coqide-on-my-mac/495/4 "2019-11-14T16:38:02Z")

</div>

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