From: Aditya Mahajan <adityam@umich.edu>
To: mailing list for ConTeXt users <ntg-context@ntg.nl>
Subject: Re: \rightarrow missing?
Date: Fri, 10 Apr 2009 13:19:57 -0400 (EDT) [thread overview]
Message-ID: <alpine.LNX.2.00.0904101317220.18385@ybpnyubfg.ybpnyqbznva> (raw)
In-Reply-To: <49DF7E94.8000501@googlemail.com>
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
___________________________________________________________________________________
prev parent reply other threads:[~2009-04-10 17:19 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-03-30 20:51 Jesse Alama
2009-03-31 1:00 ` Aditya Mahajan
2009-03-31 7:14 ` Hans Hagen
2009-04-09 20:21 ` Alan BRASLAU
2009-04-09 22:22 ` Aditya Mahajan
2009-04-10 1:00 ` Jesse Alama
2009-04-10 7:19 ` Hans Hagen
2009-04-10 7:32 ` Alan BRASLAU
2009-04-10 13:48 ` Aditya Mahajan
2009-04-10 17:15 ` Mohamed Bana
2009-04-10 17:19 ` Aditya Mahajan [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=alpine.LNX.2.00.0904101317220.18385@ybpnyubfg.ybpnyqbznva \
--to=adityam@umich.edu \
--cc=ntg-context@ntg.nl \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).