latex中的逻辑等价符号

pkuwwt

                                                latex中的逻辑等价符号
无论是latex默认支持符号，还是amssymb，都没有逻辑等价符号。在amssymb中支持\vDash, 但我希望得到A|=|B这样的逻辑等价公式，找了一圈，发现基本没有现成命令可用，于是，想到自己去实现。
如果将\vDash和竖线摆在一块儿，是会有间隔的，因为公式内部默认是有间隔的，因此，解决方案在于去年这个间隔。我们知道\quad可以在公式内产生一个空格，却少有人用到一个相关的命令\!这个命令的作用是增加-3/18 quad，也就是说6个\!命令相当于缩小\quad产生的那么长的距离。我尝试了一下，三个\!解决问题，消除了两个符号之间的间隔，这说明公式内默认的间隔是1/2 quad.尝试\vDash\!\!\!|发现右边的竖线和左边的\vDash不一般高，因此换成\models，再试，搞定。最后结果是
\models\!\!\!|~
当然换成
               
               
                |\!\!\!=\!\!\!|
也是可以的。而且两者结果一致.只不过后者表示的符号与周围字符的间隔更小一些，为显得对称，前者后面要加上~.
下面两个是更直接的形式\models\hspace{-.5em}|~
\models\hspace{-5pt}|~
               
               
               
               
               
               

本文来自ChinaUnix博客，如果查看原文请点：http://blog.chinaunix.net/u3/109940/showart_2158320.html