Skip to main content
13 events
when toggle format what by license comment
Feb 8, 2020 at 12:12 comment added user645636 @Alexandros yes \overset{3.1415}{\underset{26535}{\implies}} produces $$\overset{3.1415}{\underset{26535}{\implies}}$$
Dec 27, 2019 at 22:02 comment added Alexandros Is there a way to add some text above impllies? Such as "by (1)" to refer to another equation that is used for substitution and similar cases.
Jan 16, 2018 at 6:53 comment added Mr Pie @yo' instead of \mathbb you could also use \Bbb as a matter of fact :)
Jan 16, 2018 at 6:47 comment added Mr Pie I have always used \Longleftarrow for \impliedby. It generates the same thing anyway, for which the former generates $\Longleftarrow$ and the latter generates $\impliedby$ with \Leftarrow $\Leftarrow$ as an alternate for reverse implication.
Apr 13, 2017 at 12:34 history edited CommunityBot
replaced http://tex.stackexchange.com/ with https://tex.stackexchange.com/
Feb 15, 2016 at 19:29 history edited Najib Idrissi CC BY-SA 3.0
added 60 characters in body
Feb 2, 2015 at 14:22 comment added Mario Carneiro I prefer using \to when it appears as part of a larger propositional formula, rather than at the top level, i.e. $p\land((q\lor r)\to s)$, because the spacing is similar to that of other binary operators. \implies is better for sentence- or clause-level implications, or in displays, i.e. $$x+2=4-x\implies x=1.$$
Aug 25, 2014 at 9:57 comment added yo' Remember the difference between \to and \mapsto as in $T:\mathbb R\to \mathbb R,\; x\mapsto x+1$ produced by T:\mathbb R\to \mathbb R,\; x\mapsto x+1
Jul 29, 2013 at 13:21 comment added John Salvatierrez implies looks nicer as the arrow is longer and \to is quicker to right (and it's also what you say in your head while typing it). at least that's what I think.
Jul 14, 2013 at 19:02 history edited dfeuer CC BY-SA 3.0
what I meant
Jul 9, 2013 at 20:00 comment added MJD Why is it preferable?
S Jun 14, 2013 at 1:33 history answered leonbloy CC BY-SA 3.0
S Jun 14, 2013 at 1:33 history made wiki Post Made Community Wiki by leonbloy