In other words, the text system can correctly treat the character as a newline, regardless of the input's actual encoding