I would also use \implies instead of \Rightarrow (slightly different
spacing).
Doesn't work I'm afraid (2009.05.11 14:38 MKIV) ... \implies is
undefined.
---
\starttext
\startformula
A\implies B
\stopformula
\stoptext
---
Oliver
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : [email protected] / 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
___________________________________________________________________________________