In reply to a tweet by glazou:

@glazou @sgalineau no no no, this is CSS. Why limit yourself to ascii? An em dash would do nicely there.