Use different character for end-of-line like symbols

[Klemens Schindler]

The current character is very specific to the default font and as soon as you use another, the character is not displayed anymore.
Probably better to use something like the end-of-line marker in Word.