I used Foxit PDF Reader to convert a PDF file to a TXT file. Most of the text is straightforwardly readable. A few symbols are not, depending on what software I use to view the