On Sat, Feb 14, 2015 at 12:34 PM, David Sheets <kosmo...@gmail.com> wrote:
> I am writing a documentation generation tool for a programming > language with right arrows represented as -> but would like to render > them as →. Programmers are used to writing in ASCII and reading > typeset mathematics. If I present documentation to them via a > purpose-built document browser, I should give them the option (at the > generation/styling stage) of making those documents as pleasing as > possible. > Programmers a decade or two ago, maybe, but not today. As a programmer, if I see "→" on a page, select it and copy it, I expect to copy "→", just as I selected. This sounds like something browsers should actively discourage. -- Glenn Maynard
