https://www.writelatex.com/201971gzmchf [6]
--- Alessandro Bandeira Duarte UFRRJ [7] www.alessandroduarte.com.br [8] http://grupofilosofiadamatematica.com.br [9] http://grupofilosofiadamatematica.com.br/forum/ [10] http://grupofilosofiadamatematica.com.br/wiki [11] www.alessandroduarte.com.br/latex_e_linux [12] (Usa GNU/Linux) "Colaborar atrai amigos, competir atrai inimigos …" On Mon, 27 May 2013 19:50:30 -0300, Eduardo Ochs wrote: > Oi Alessandro! > Posso dar uma sugestao? =) > Se voce incluir os headers - como no exemplo abaixo - acho que fica > bem mais facil as pessoas testarem o seu codigo... > [[]], Eduardo > > documentclass{article} > usepackage{xypic} > usepackage{amssymb} > begin{document} > xymatrix@R=.7pt@C=8pt{ > 1. && sim((lozenge p&lozenge q)supsetlozenge(p& q))&&&(n)&NTF\ > 2. && (lozenge p&lozenge q)&&&(n)&1\ > 3. && simlozenge(p& q)&&&(n)&&1\ > 4. && squaresim(p& q)&&&(n)&3, MN\ > 5. && lozenge p &&& (n) & 2\ > 6. && lozenge q &&& (n) & 2\ > 7. && p &&& (k) & 5, lozenge mbox{S}5\ > 8. && q &&& (l) & 6, lozenge mbox{S}5\ > 9. && sim(p& q) &&& (k) & 4,squarembox{S}5\ > 10. && sim(p& q)ar@{-}[dl]ar@{-}[dr] &&& (l) & 4,squarembox{S}5\ > 11. & sim p (k) & & sim q (k)ar@{-}[ddl]ar@{-}[ddr] &&& 9\ > & times & & &&& \ > 12. & & sim p (l)& &sim q (l) && 10\ > & & uparrow& ×&& \ > } > end{document} > > On Mon, May 27, 2013 at 5:58 PM, Alessandro Bandeira Duarte wrote: > >> Caros, >> >> falei do xytree, mas percebi uma solução melhor: xypic, que permite >> modificar o espaçamento das células >> >> http://www.tug.org/applications/Xy-pic/ [1] >> >> código: >> >> xymatrix@R=.7pt@C=8pt{ >> 1. && sim((lozenge p&lozenge q)supsetlozenge(p& q))&&&(n)&NTF\ >> 2. && (lozenge p&lozenge q)&&&(n)&1\ >> 3. && simlozenge(p& q)&&&(n)&&1\ >> 4. && squaresim(p& q)&&&(n)&3, MN\ >> 5. && lozenge p &&& (n) & 2\ >> 6. && lozenge q &&& (n) & 2\ >> 7. && p &&& (k) & 5, lozenge mbox{S}5\ >> 8. && q &&& (l) & 6, lozenge mbox{S}5\ >> 9. && sim(p& q) &&& (k) & 4,squarembox{S}5\ >> 10. && sim(p& q)ar@{-}[dl]ar@{-}[dr] &&& (l) & 4,squarembox{S}5\ >> 11. & sim p (k) & & sim q (k)ar@{-}[ddl]ar@{-}[ddr] &&& 9\ >> & times & & &&& \ >> 12. & & sim p (l)& &sim q (l) && 10\ >> & & uparrow& ×&& \ >> } >> >> http://www.alessandroduarte.com.br/imagens/var/albums/xypic.png?m=1369687662 [2] >> >> _______________________________________________ >> Logica-l mailing list >> [email protected] [3] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [4] Links: ------ [1] http://www.tug.org/applications/Xy-pic/ [2] http://www.alessandroduarte.com.br/imagens/var/albums/xypic.png?m=1369687662 [3] mailto:[email protected] [4] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [5] mailto:[email protected] [6] https://www.writelatex.com/201971gzmchf [7] http://www.ufrrj.br [8] http://www.alessandroduarte.com.br [9] http://grupofilosofiadamatematica.com.br [10] http://grupofilosofiadamatematica.com.br/forum/ [11] http://grupofilosofiadamatematica.com.br/wiki [12] http://www.alessandroduarte.com.br _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
