I'm currently using the following command to make a tautological equivalence symbol.
Code: Select all
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
The AMS packages seem to have a symbol for tautologically implies, but no mirror symbol that I could just place together with a regular symbol.
As you can see, I'm just using two pipes and two equal signs and adjusting the spacing appropriately. However, a problem occurs whenever I write an expression inline and LaTeX wants to stretch or compact it, as this means that the pipes and equal signs are no longer touching or are overlapping.
I know that I could go into each individual use of \tauteq and modify the spacing, but I was hoping for a less tedious solution.
Is there a simple way to tell a block of text to adhere to some standard spacing and not stretch or compact?
Or, is there a package with a tautological equivalence symbol?