Oi lista, aqui vai um jeito de usar uma versão magrinha do \supset como sinal de implicação. Aprendi o truque aqui:
https://tex.stackexchange.com/questions/14386/importing-a-single-symbol-from-a-different-font Divirtam-se! =) Eduardo Ochs http://angg.twu.net/math-b.html http://angg.twu.net/dednat6.html O código: \documentclass{article} \DeclareFontFamily{U}{matha}{\hyphenchar\font45} \DeclareFontShape{U}{matha}{m}{n}{ <5> <6> <7> <8> <9> <10> gen * matha <10.95> matha10 <12> <14.4> <17.28> <20.74> <24.88> matha12 }{} \DeclareSymbolFont{matha}{U}{matha}{m}{n} \DeclareMathSymbol{\thinsubset}{3}{matha}{"80} \DeclareMathSymbol{\thinsupset}{3}{matha}{"81} \def\limp{\thinsupset} % Logical implication \begin{document} $A \supset B {\supset} C_ {{A \supset B {\supset} C}_ {A \supset B {\supset} C}} $ $A \limp B {\limp} C_ {{A \limp B {\limp} C}_ {A \limp B {\limp} C}} $ \end{document} -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6gu6iPfTe2%2BouJf5478aUiQizby-mhO8v5uPW3L52xxxg%40mail.gmail.com.
