Tag Info

New answers tagged


You can apply the method in this answer \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} I show here what I get from copying in Adobe Reader: (A → B) ⊢ B sample text Other PDF ...


Copy the text in another text editor capable of removing line breaks. The editor I'm actually referring to is Sublime Text. You just have to follow these steps: Install Sublime Text; Install Package Control (this is not necessary but is almost a sine qua non); Search for Paste PDF Text Block with Package Control and install it, or install it manually if ...


Try I almost always use Edit → Paste Special → Plain Text (Ctrl+Shift+V). I am using LyX Version 2.1.2 2014-09-23 on Windows.

Top 50 recent answers are included