Skip to content

keep same visual appearance between displayed and copied text

Nelson Ben requested to merge BUG_ℕ_copied_as_N into master

When copying text from displayed document to the clipboard, we want a normalization that preserves 'canonical equivalence' i.e. that the text after normalization is not visually different than the original text. Our previous normalization was just preserving unicode 'compatibility'.

Relevant documentation:

Issue #1085 (closed)

Merge request reports