Use different character for end-of-line like symbols
klemensschindler opened this issue · comments
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.