Olá.
Eu normalmente uso o \not antes do símbolo de consequência.
$\Gamma\not\sststile{\mathrmbf{\mrm{LQC}}}{}P$
(vide anexo)
Mas parece-me que existe um comando \cancel{} que poderia fazer isso,
mas não ficou muito bom.
Alguém faz diferente? De um jeito que o traço fique centralizado?
--
Att.
Aracele Garcia de Oliveira
Msc. Student in Computer Science
Federal University of Santa Catarina (UFSC)
Department of Informatics and Statistics(INE),
Florianopolis, SC - Brazil
Phone: +55 48 8834-4281
E-mail : [email protected]
Personal Homepage: http://www.inf.ufsc.br/~aracele
<<attachment: Figura.JPG>>
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
