#716 \Game and its unicode character don't match

None
wont-fix
nobody
None
1
2014-08-19
2013-04-21
Denis Bitouzé
No

\Game and its unicode character don't match, as shown by the joined screenshot.

1 Attachments

Discussion

  • Denis Bitouzé
    Denis Bitouzé
    2013-04-21

    That's not the only ones that don't match. Here are the list of the ones I detected (the ones followed by a question mark are uncertain because e.g. too dark or too small):

    \bullet (?), \wr (?), \bowtie (cropped image), \Lleftarrow (?), \rightleftharpoons (wrong image), { (?), } (?), \lgroup (?), \rgroup (?), \vdots (and clicking on it has no effect), \ddots (wrong image), \exists (no unicode character whereas \nexists has one), \Bbbk, \textdollar and \$ (?), \CheckedBox (wrong image), \textlquill (no image), \textless (absence of unicode character whereas \textgreater has got one), \k{\i} (dotted vs not dotted), \u{L}, \u{l}, \v{l}, \v{t}, \r{U}.

    Moreover, the following maybe have unicode character misplaced: \texttildelow, \textasciicircum, \textasciimacron, \textasciiacute, \textasciidieresis, \textasciitilde, \textasciigrave, \textasciibreve, \textasciicaron, \textacutedbl, \textgravedbl, \H{A}, \H{a}, \H{E}, \"{I}, \"{i}, \H{A}, \"{o}, \"{Y}, \"{y}, .{z}.

    I didn't check Cyrillic letters.

     
  • i have fixed some of the symbols.
    However most of the symbols seem to be correct (\H{A}, \bullet etc.)

    Anyway i am not going to invest more time in the unicode insertion as this is not the preferred way of handling symbols.
    The code is put in symbols-ng/*.xml , feel free to correct/extend them.

    Only thing which is important for me, is that the large symbol images are correct.

     
  • Denis Bitouzé
    Denis Bitouzé
    2013-04-21

    For \H{...}, the "”" is centered on the image, not on the unicode character.

    For \bullet, the unicode character is somehow invisible (compare with \textbullet's one which is right).

    I agree that unicode insertion should not be a priority but, if present, they are better to be right :)

     
  • Denis Bitouzé
    Denis Bitouzé
    2013-04-21

    For { and }, it is said that the Unicode characters are { and } but they are TeX macros and not Unicode characters. Analog problem with \textdollar and \$.

    BTW, they are empty boxes in Cyrillic letters list.

     
  • it would not be helpful to insert $ when pressing on the symbol.
    The user wants to place a text that results in $ after compilation ...

     
  • Denis Bitouzé
    Denis Bitouzé
    2013-04-21

    I agree but my point is that \$ is /not/ a Unicode character, hence the tooltips shouldn't say:

    Command: \textdollar
    Unicode Character: \$

    (which is wrong BTW: result of \$ may differ from \textdollar's one)

    Command: \$
    Unicode Character: \$

    Command: {
    Unicode Character: {

    Command: }
    Unicode Character: }

    For these characters, there shouldn't be any "Unicode Character" line.

     
  • i am not willing to play around the unicode characters any more as they are (in my opinion) not the best way to insert text for latex

     
    • Denis Bitouzé
      Denis Bitouzé
      2013-05-27

      i am not willing to play around the unicode characters any more as they are (in my opinion) not the best way to insert text for latex

      Hence I would recommend to not display them in the tooltips, except if they are correct.

       
    • status: open --> wont-fix
    • Group: -->