https://bugs.documentfoundation.org/show_bug.cgi?id=166956
--- Comment #11 from Yves Poissant <[email protected]> --- @ RGB I just tried the following: nospace{x"'"}=... with the Prime (U2032) symbol instead of the regular prime and I get the best results so far. I guess the result depends greatly on the font being used. For now I will live with this hack. But I still think this should be fixed. -- You are receiving this mail because: You are the assignee for the bug.
