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.