\documentclass[12pt,a4paper]{article}
\usepackage[noTeX]{mmap}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\begin{document}
$(A\to B)\vdash B$
sample text
\end{document}
从生成的 PDF 中复制的文本粘贴不正确。它只粘贴了数学符号和括号,字母被粘贴为一些 Unicode 字符:( � → � ) ⊢ �。
正如 egreg 指出的那样,字母被解释为数学斜体大写字符。
如果我删除它\usepackage[noTeX]{mmap}
,那么它将在常见的编辑器(notepad++、notepad)中几乎正确显示:“(A→B)`B示例文本”,旋转门符号变成反引号。
如何使其正确工作?
答案1
您可以应用该方法这个答案
\input{glyphtounicode}
\pdfgentounicode=1
\documentclass[12pt,a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\begin{document}
$(A\to B)\vdash B$
sample text
\end{document}
我在这里展示了在 Adobe Reader 中复制的结果:
(A → B) ⊢ B sample text
其他 PDF 查看器(例如 Skim)无需这两行代码即可工作。