What is the leftward facing implication symbol?

Asked May 02 '18 at 21:06

Active May 02 '18 at 21:14

Viewed 97 times

I would like to know what the latex command for the leftward facing implication symbol (an arrow with two bars) is. I'm trying to separate the 'if and only if' symbol to prove both implications, but I only know the command :

$\implies$

for the rightward implication.

Thanks!

asked May 02 '18 at 21:06

T J. Kim

1

\Leftarrow and Rightarrow – Sigur May 02 '18 at 21:09
3

Did you try \impliedby? – egreg May 02 '18 at 21:12
Oh, I didn't know that the commands distinguished capitalised letters. I now see that \leftarrow and \Leftarrow are different commands. Thanks. – T J. Kim May 02 '18 at 21:15

What is the leftward facing implication symbol?

0 Answers0