# Tag Info

0

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 ...

1

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 ...

2

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