If I manually select text and copy-paste in my notepad, it looks like this:
vs
If I press the copy-paste icon and paste it in my notepad, it looks like this:
Needless to say, I prefer the first version in terms of formatting.
