Comment Comment by kzz102 It was copied from a pdf, maybe LaTeX generated. All the ligatures are wrong -- not sure where the problem lies, the pdf itself, pdf reader, or the clipboard on Linux. parent kzz102 2 months ago