al hacer la derivación en Yoda selecciono Exportar a Latex.
Al copiar el código generado en las notasCornell no funciona, es decir, cuando le doy guardar no se convierte, queda tal cual lo copié.
Intente poner el código entre $$ pero tampoco funciona.
Adjunto el código generado por si desean probar o por si hay algo de mas que no estoy viendo:
Gracias
\ [\infer[I \lthen]
{((p \lthen q) \lthen p) \lthen p}
{\infer[E \lthen]
{p}
{\infer[I \lthen]
{p \lthen q}
{\infer[E \lor]
{q}
{\infer[I \lor_1]
{((p \lthen q) \lthen p) \lor ((q \lthen p) \lthen q)}
{[(p \lthen q) \lthen p]}&\infer[E \lor]
{q}
{\infer[I \lor_1]
{(q \lthen q) \lor q}
{\infer[I \lthen]
{q \lthen q}
{[q]}}&\infer*[???]
{q}
{???}&[q]}&\infer[E \lthen]
{q}
{\infer[I \lthen]
{q \lthen p}
{[p]}&[(q \lthen p) \lthen q]}}}&[(p \lthen q) \lthen p]}} \]