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/
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
