Olá,
* Em relação ao xypic:
- O user guide (xyguide.pdf) é mais didático do que o manual de
referência.
- O seguinte código faz o que vc quer:
\usepackage[all]{xy}
...
\[
\xymat...@c=-4pt{
( &
A \ar@(u,u)@{-}[rrrrrr] &
\land &
B \ar@(d,d)@{-}[rrrrrr]&
) &
\lor &
( &
C &
\land &
D &
)
}
\]
O problema é que, como cada símbolo está em uma célula da matriz,
é preciso ajustar manualmente o espaço entre as colunas (com
@C=-4pt) para que a fórmula não fique espaçada demais.
* Eu, pessoalmente, prefiro usar o pgf (tikz)
(www.ctan.org/tex-archive/graphics/pgf/base/latex/)
para essas coisas. O código fica:
\usepackage{tikz}
\usetikzlibrary{matrix}
...
\[
\begin{tikzpicture}
\matrix(m)[matrix of math nodes, column sep=-5pt]{
(& A & \land & B & ) & \lor & ( & C & \land & D & ) \\
};
\draw (m-1-2) to [out=90, in=90] (m-1-8);
\draw (m-1-4) to [out=270, in=270] (m-1-10);
\end{tikzpicture}
\]
Mas aqui ocorre o mesmo problema do espaçamento entre as
colunas. Por isso, precisei usar "column sep=-5pt".
Fernando Náufel, D.Sc.
[email protected]
http://www.ic.uff.br/~fnaufel/
http://www.uff.br/llarc
Professor Adjunto
(~Professor Doctor -- see http://en.wikipedia.org/wiki/Professor#Brazil)
LLaRC - Laboratório de Lógica e Representação do Conhecimento
DCT - Depto. de Ciência e Tecnologia
PURO - Pólo Universitário de Rio das Ostras
UFF - Universidade Federal Fluminense
Brazil
--
2009/5/30 Bruno Woltzenlogel Paleo <[email protected]>:
> 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
>
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
