Closed farberbrodsky closed 3 years ago
\implies in LaTeX is a longer version of \Rightarrow, but I think \Rightarrow 's symbol is similar enough. \le, \ge are aliases for \leq, \geq. Can you please add this?
Thanks @farberbrodsky !
Did you see that the test failed? We have a very simple parser that requires these lists to be ordered by length.
Should be included in 0.7.1.
\implies in LaTeX is a longer version of \Rightarrow, but I think \Rightarrow 's symbol is similar enough. \le, \ge are aliases for \leq, \geq. Can you please add this?