The ¬ symbol is used for adding line breaks in the document. That is why when you paste this character, the editor treats it as if a line break has been pasted and inserts one in the document.
We would consider using the same symbol that Word uses (the down arrow pointing left), but it is not clear if and when a change would be implemented.
I hope this answers your question.
the Telerik team