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 ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : https://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________
