Estoy haciendo algo mal o no se puede hacer lo que quiero hacer?
Estuve intentando poner una derivación hecha en yoda en la aplicación web de las notas Conrell, le di a exportar a latex en yoda y lo puse entre $ en las notas, y no funciono.
Probá con entre $ $...$ $, entre \ (... \ ) o entre @ #... # @
Saludos
FDO.
Saludos
FDO.
Probé de las 3 maneras y con ninguna pude
Hola.
Estuve revisando el programa de las notas y hay que ajustar la configuración para que acepte las derivaciones. aún no pude hacerlo.
Yo sugiero que igual pongan las derivaciones con aunque muestre los infer o lo que sea.
Saludos
FDO.
Fernando, una consulta. Me instalé un motor de LaTeX y un editor, pero no me reconoce la función \infer... por mas que busco, no doy con la librería que contiene esta función. Recordás cual es esta librería?
También (para simplificar) busqué editores de LaTeX online (uno en particular MUY prolijo, shareLaTeX) pero ninguno compila bien el \infer... alguna sugerencia de editor online que si lo haga?
Cualquiera de las dos opciones me sirve.
Saludos y gracias!
Hola.
No se que motor te instalaste ni en qué :-) Linux o Windows?
El paquete latex para el infer es el proof.
Para que te funcione el infer en un texto latex común, antes del \begin{document} hay que ponerle \usepackage{proof}.
En tu instalación local te puede faltar si no hiciste una instalación completa. En ese caso, lo podés instalar con los instaladores de paquetes del propio latex.
Saludos
FDO.
Buenas, el motor que instalé es MikTeX 2.9 en Windows 7 y el editor es TeXnicCenter.
Cuando llegue a casa esta noche pruebo eso que indicas y les cuento si se soluciona.
Muchas gracias!
Bueno, les cuento que no hizo falta instalar nada. Como suponía, los editores online deberían tener la posibilidad de importar librerías de todo tipo y color.
El siguiente link: https://es.sharelatex.com/ es de un editor online que está muy prolijo y es muy fácil de usar. Si crean un documento nuevo y le agregan lo que dice Fernando, (\usepackage[]{proof} antes del \being) les renderiza las derivaciones perfecto.
Espero les sirva el pique, saludos!
HOla.
Prueben las derivaciones en las notas ahora....
Saludos
FDO.
Saludos
FDO.