Statt immer umständlich die HTML-Character rauszusuchen, kann man sich in vielen Fällen auch damit behelfen, ein Sonderzeichen von hier zu kopieren