Text Formatting ⇒ No stretch on block of text

[edc]

I'm currently using the following command to make a tautological equivalence symbol.

Code: Select all

\newcommand{\tauteq}{\ |\! \! \! = =\! \! \!| \ }

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?

[gmedina]

Hi,

you could take a look at the Comprehensive LaTeX Symbol List.

[phi]

If you want to regenerate the design of amsmath's \vDash, you could create a fake symbol by mirroring the original symbol:

Code: Select all

\makeatletter
\newcommand*\Dashv{\mathrel{\mathpalette\m@thr@fl@ct{\mathord\vDash}}}
\newcommand*\m@thr@fl@ct[2]{\reflectbox{$\m@th#1#2$}}
\makeatother
\newcommand*\tauteq{\mathrel{\vDash\mkern-0.5mu\Dashv}}

(Needs amssymb and graphicx)

[edc]

Wonderful! Thank you for the assistance phi. I figured there was a way to do a simple reflection, but I just am not LaTeX savvy enough.

Also, it's good to know about the comprehensive symbol list, though I didn't find a good symbol in there (didn't search too hard as phi's solution worked fine). Thanks gmedina!

[jlbechennec]

Hello

Put a \mbox around your words :

Code: Select all

\newcommand{\tauteq}{\mbox{\ |\! \! \! = =\! \! \!| \ }}