Olá,
Agradeco ao Carlos Gonzalez, ao Marcelo Finger e ao Joao Marcos pelas dicas.
Experimentei-as e me parece que o mais facil pra conseguir o que eu quero é
usar o pst-node (parte do pstricks). Aquele exemplo que citei pode ser feito
assim:
$$
(\Rnode{1}{A} \wedge \Rnode{2}{B}) \vee (\Rnode{3}{C} \wedge \Rnode{4}{D})
\nccurve[angleA=90,angleB=90]{1}{3}
\nccurve[angleA=90,angleB=90]{2}{4}
$$
Bem simples. Se alguem souber algo mais simples, por favor me avise!
Joao Marcos: eu tentei usar o xy-pic por algumas horas, mas nao consegui ler
além dos comandos basicos, "low-level", no reference guide. Por acaso voce
sabe se o xy-pic tem comandos mais "high-level" que calculem as coordenadas
das curvas automaticamente?
Até,
Bruno
-----Original Message-----
From: Joao Marcos [mailto:[email protected]]
Sent: Samstag, 30. Mai 2009 21:23
To: Marcelo Finger
Cc: Bruno Woltzenlogel Paleo; [email protected]
Subject: Re: [Logica-l] Formulas com "links" em LaTeX
Costumo recorrer ao "xypic", que me parece razoavelmente fácil de usar.
Mais específico (nunca usei) para alguns objetivos é o pacote "diagram".
Sempre vale lembrar que muitos pacotes específicos para *Lógica* podem
ser encontrados a partir de:
http://www.phil.cam.ac.uk/teaching_staff/Smith/logicmatters/latexforlogician
.html
JM
2009/5/30 Marcelo Finger <[email protected]>:
> Bruno.
>
> Para este tipo de coisa (e muitas outras) eu uso o pstricks
>
> []s
>
> Marcelo
>
> 2009/5/30 Bruno Woltzenlogel Paleo <[email protected]>
>>
>> Olá,
>>
>> Eu gostaria de poder escrever, em LaTeX, formulas com links ligando
>> algumas de suas subformulas atomicas.
>>
>> Por exemplo, eu quero escrever uma formula (A and B) or (C and D) com
>> arcos acima ou abaixo da formula, conectando A com C e B com D...
>>
>> Alguem conhece algum pacote que me permitiria fazer isso da maneira mais
>> fácil possivel?
>>
>> Obrigado por qualquer sugestao!
>>
>> --------------------------------
>>
>> Bruno Woltzenlogel Paleo
>> Website: http://www.logic.at/people/bruno/
--
My homepage:
http://sequiturquodlibet.googlepages.com/
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l