j
k
j a
j l
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
Back to the thread
Back to the list