Is there a way to copy from a PDF to a LaTeX document? Whenever I do it, it copies in with weird symbols in the place of LaTeX commands for example:
copies in as
f : R ! R;
I did a quick search and I couldn't really find anything (some sort of PDF to LaTeX converter that worked well)
Am I missing something obvious or can this not be done (for some reason)?