TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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
There's also \Leftarrow – kan Oct 31 '12 at 12:33
Everyone always overlooks the obvious solution to a "missing" character macro: \newcommand\follows{\Longleftarrow}. – Ryan Reich Oct 31 '12 at 12:43
With \usepackage{amsmath} you have \impliedby – egreg Oct 31 '12 at 12:49
@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
@egreg ok :) why not turn your comments into one of your trademark-excellent answers :) – cmhughes Oct 31 '12 at 16:35
up vote 31 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":


and it was supplemented by similar commands


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


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
@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
@AriBrodsky \to has been equivalent to \rightarrow since the beginning of (TeX) time. I've always taken for granted it's in the LaTeX manual, but to my surprise it isn't there. – egreg Jul 4 '13 at 8:37

Your Answer


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.