4 ms·

no, it should be ' (ASCII 39, https://en.wikipedia.org/wiki/Apostrophe https://en.wikipedia.org/wiki/Apostrophe )

• latexr 1y ago
  The page you linked to lists both ’ and ', in that order. There’s no point in being (wrongly) pedantic about either, both have strengths and weaknesses (explained in the Wikipedia pages). The point is that if someone cares to use proper typographic characters not immediately visible in the keyboard (which the person I replied to seems to), they probably care to use the right ones. Both ’ and ' are correct, but ‘ is not.
  • hluska 1y ago
    It’s interesting that you say there’s no point in being pedantic but this entire boring subthread started because you were pedantic about punctuation. A character really doesn’t matter.
    • latexr 1y ago
      Please don’t engage in bad faith. My post was very clear about its goal. It’s one thing to wrongly “correct” someone (as the poster above me did) and quite another to notice that someone is taking the care to do something but is making a mistake, and politely point them in the right direction. Just because you don’t care about something doesn’t make it worthless or boring. If I didn’t think the OP cared I wouldn’t have pointed it out. Above all my point was constructive and took the other person’s interests into account, it was not a pedantic critique. If you find the matter boring, I encourage you to move along. Prolonging it seems counterproductive.