You are right. Dollar is not in the list of HTML entities supported by Qt's built-in HTML renderer:
https://code.qt.io/cgit/qt/qtbase.git/tree/src/gui/text/qtexthtmlparser.cpp?h=5.15#n62 …but it will be rendered if WebKit or WebEngine renderer is in use, which can be enabled from the Edit menu. In fact, dollar is part of standard QWERTY keyboard layout, so it's mostly useless in the symbols menu. I have replaced it with euro in https://github.com/retext-project/retext/commit/c5c6ce035432ecaa, which is present in 7.1.0 and newer releases (so fixed in Ubuntu 20.04 LTS). ** Changed in: retext (Ubuntu) Status: New => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1925256 Title: dollar symbol is not translated To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/retext/+bug/1925256/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs