Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

I’m aware of and use the \implies and \iff commands to denote right-handed implication and if and only if (so A=>B and A<=>B). I’ve been looking for a similar command for left-handed implication (i.e., A<=B). I was hoping there might be a \leftimplies command or similar, but some Googling and inspection of documentation hasn’t found anything.

Does anybody have any suggestions where I might find such a command, or a package that provides it? Or am I stuck with using \Longleftarrow?

share|improve this question
1  
There's also \Leftarrow –  kan Oct 31 '12 at 12:33
3  
Everyone always overlooks the obvious solution to a "missing" character macro: \newcommand\follows{\Longleftarrow}. –  Ryan Reich Oct 31 '12 at 12:43
9  
With \usepackage{amsmath} you have \impliedby –  egreg Oct 31 '12 at 12:49
3  
@cmhughes Not really. The commands \implies and \iff are provided by amsmath, but somehow slipped away from the documentation. The command \impliedby is there also. The three behave correctly with respect to dots, while the \Long...arrow commands don't. The symbol.pdf file doesn't list them. –  egreg Oct 31 '12 at 16:29
1  
@egreg ok :) why not turn your comments into one of your trademark-excellent answers :) –  cmhughes Oct 31 '12 at 16:35
show 3 more comments

1 Answer

up vote 13 down vote accepted

The command you need is already there: \impliedby (if you're using \implies it means that you're loading amsmath).

The story is quite intricated. Let's try doing a resumé.

Plain TeX defines \iff as \;\Longleftrightarrow\;, that is, a relation symbol with extended spaces on its left and right.

In AMS-TeX the command was redefined so that it was "dots-aware":

\def\iff{\DOTSB\;\Longleftrightarrow\;}

and it was supplemented by similar commands

\def\implies{\DOTSB\;\Longrightarrow\;}
\def\impliedby{\DOTSB\;\Longleftarrow\;}

The three commands were transplanted in amstex.sty (the first porting of AMS-TeX to LaTeX) and found their way also in the "definitive" package amsmath.sty, but not in its documentation.

Since they are undocumented, they aren't really listed in the Comprehensive List of LaTeX Symbols (there are "see \Longrightarrow" and similar references).

A problem can arise from the fact the commands are not documented: they may disappear in new releases of amsmath. A solution for your documents is to say

\usepackage{amsmath}
\providecommand\iff{\DOTSB\;\Longleftrightarrow\;}
\providecommand\implies{\DOTSB\;\Longrightarrow\;}
\providecommand\impliedby{\DOTSB\;\Longleftarrow\;}

but also this can be risky, since it uses the internal macro \DOTSB.

Since they are useful (although I usually stay away from them, preferring words) it would be a welcome addition that they find their way in the documentation of amsmath.

share|improve this answer
    
That is excellent, thanks a lot. :) –  alexwlchan Oct 31 '12 at 17:48
    
What does it mean for a symbol to be "dots-aware"? –  Andrew Uzzell Nov 1 '12 at 11:38
2  
@AndrewUzzell When you say $a+\dots+z$ you get centered dots, when you say $a,\dots,z$ the dots are low. Similarly, you automatically get centered dots with $a\iff\dots\iff z$ because of \DOTSB –  egreg Nov 1 '12 at 11:40
    
I see. That's a neat feature. –  Andrew Uzzell Nov 1 '12 at 11:41
    
Is there a more complete list of such undocumented symbol commands? It seems that \to might belong here as well. –  Ari Brodsky Jul 4 '13 at 5:11
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.