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

Responder a