Where does “﹗” come from?