Re: [AUCTeX] Help with latex-preview of bussproofs

[Carlo Nucera]

Well, Ivan, thank you very much!

Adding the PreviewMacro command or AxiomC, UnaryInfC and the like
already made the code much more legible.
The real game changer was adding the previewEnviroment for tabular and
center, which enabled me to display the entire derivation tree, which
is what I wanted. I also used the file prauctex.cfg, because it was
suggested in the latex-preview manual.

Thanks again,
Caro

2015-05-19 5:06 GMT+02:00 Ivan Andrus <address@hidden>:
>
>> On May 17, 2015, at 6:48 PM, Carlo Nucera <address@hidden> wrote:
>>
>> 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?
>
> Adding
>
> \PreviewMacro*[]{\AxiomC}
> \PreviewMacro*[]{\UnaryInfC}
>
> to the file prdefault.cfg works for me.  I think there are ways to include it 
> in the file itself, but if I remember correctly it’s a little more 
> complicated.  There are other options to \PreviewMacro explained in the 
> documentation for preview.sty (should be included with your TeX 
> installation--try `texdoc preview`).
>
> Another thing I like adding is
>
> \PreviewEnvironment{tabular}
>
> which means that the entire tabular environment will become a single preview.
>
> HTH,
> Ivan