3 ms·Funny thing is "normal" for me is either a double minus (--) for TeX or the HTML –by MengerSponge 3mo agoFunny thing is "normal" for me is either a double minus (--) for TeX or the HTML –