I have a fair number of formal linguistics papers (generative syntax, semantics) and I am looking for a good OCR software to digitize them as searchable PDFs. Unfortunately, the programs I have tried work well for pure text, but choke on IPA, logical symbols and any type of structural tree. Glossed examples with diacritics and indexes also fare poorly.
Can anyone suggest a scan + OCR software for Windows, Linux or Android that works well in the specific domain of linguistics?
Roberto Zamparelli
University of Trento, Italy