\thinsupset para implicação

[Eduardo Ochs]

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}