No strong feelings here, and TIL about a useful unicode character.