Closing comment renders as arrow

Steps to reproduce

enter:
<!- -ID: 1607975501753 - - >
(-- > with no spaces).

Expected result

Closing html comment should be supported the same way openining <!-- is supported.

Actual result

- - > gets converted to → long arrow even if it is part of a comment

Environment

OSX 11.0.2
0.10.12

Other info:
This is used to track info for the Anki plugin.

This is not a bug, but rather the result of the font that you’re using (if it has ligatures for arrows) or perhaps a text expander. I’ll move this to #help, please let us know if you were able to sort it out!

1 Like

Still does it but I got used to it.