That's a matter of font choice, which (for HN, which doesn't go out of its way to stomp on user defaults) is, like the use of programming ligatures you have tried to distinguish on this basis, a client-side user decision.