10 Apr
2009
10 Apr
'09
7:19 p.m.
On Fri, 10 Apr 2009, Mohamed Bana wrote:
excuse me if this has already been fixed.
$ pdfinfo test1.pdf
Creator: ConTeXt - 2009.03.23 10:57 Producer: LuaTeX-0.36.0 CreationDate: Fri Apr 10 18:10:34 2009 ModDate: ConTeXt - 2009.03.23 10:57
\implies doesn't work ! Undefined control sequence. <recently read> \implies l.11 $\implies $
Currently, \implies, \iff, and \impliedby are not mapped. We need a cleaner model to map symbols with spaces.
*I* think \Rightarrow should be exchanged for \implies, as \implies generates a slightly longer arrow.
\implies is usually defined as \;\Rightarrow\; so the size of the arrow should be the same. Aditya