Hi all, I'd like to convince preview-latex to do the preview of the commands contained into the bussproof package [1], which is a package to edit logical deduction proofs.
If I try now to preview the document, I get something along the image attached, while I'd like to get the preview like the one in the examples of bussproofs. Can you help me here? Thanks Carlo [1] http://math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/
_______________________________________________ auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex
