4 ms·
That character is a backtick not a grave isn't it? Also some cultures use «» as quotes. It's a big world.
by halfdgvfyjjuc 9y ago
That character is a backtick not a grave isn't it? Also some cultures use «» as quotes. It's a big world.
- 0xffff2 9y agoIs there a difference? I think those are both words for the same character.
- pc86 9y agoIt's a backtick when by itself, grave when it's an accent over another character.
- dsp1234 9y agohttps://en.wikipedia.org/wiki/Grave_accent https://en.wikipedia.org/wiki/Grave_accent "Programmers use the grave accent symbol as a separate character (i.e., not combined with any letter) for a number of tasks. In this role, it is known as a backquote or backtick."
- mark-r 9y agoASCII never really supported the idea of a combining character, so it's not surprising that the original intent was subverted.
- ygra 9y agoHeck, in some fonts ` even takes the form of ‛ or ‘. Which is probably where typing quotes like ``this'' comes from (which looks absolutely awful nowadays since it mixes an uncombined diacritic with a kludge of a punctuation character).
- kgwgk 9y agoASCII supported combining characters. That’s what backspace was for! https://news.ycombinator.com/item?id=11654682 https://news.ycombinator.com/item?id=11654682
- mark-r 9y agoThat was very illuminating, thanks. Interesting that the idea was there originally but was later deprecated when they realized video terminals couldn't do it. Today it would be trivial to convert the sequence letter/backspace/accent to its UTF-8 equivalent.