ambiente prooftree in latex

sto scrivendo la tesi sulla deduzione naturale e ho dei problemi con l’ambiente prooftree.
Infatti dovrei stampare 2 alberi sulla stessa riga ma il latex non lo capisce e mi stampa una riga sottoi 2 alberi.
Questo è il codice:

$$
PROTECTED0 $$

Dovrei riuscire a togliere la linea in fondo. Dovrebbe essere una questione di parentesi ma io le ho cambiate in tutti i modi e non ci ho ricavato niente…
Qualcuno sa aiutarmi????

Esistono più di mille pacchetti aggiuntivi per LaTeX. Pensi che la gente li conosca tutti? Non credi che sarebbe il caso di dire quale ti permette di adoperare l’ambiente “prooftree”?

L’unica cosa che ti posso dire è che $$…$$ va sostituito con \[…\]

Ciao
Enrico