LaTeX

Is there a good latex ocr model that I can run with Ollama?

I started with TeXworks (+ XeTeX, which both happen to have been created by Jonathan Kew) and I found no reason to change since then. The only slight drawback is that autocomplete support exists but is rudimentary, however it doesn't bother me that much.

Does anyone know how to make good double bar proofs? I used a column with a row before but I was wondering if there are any better options.