On Wed, 7 Feb 2007, Hans Hagen wrote:
Wolfgang Schuster wrote:
On Tue, 6 Feb 2007 10:36:42 -0500 (EST) Aditya Mahajan
wrote: On Tue, 6 Feb 2007, Hans Hagen wrote:
Aditya Mahajan wrote:
Can someone suggest a better way to do this?
I found another way, I hope that it has no gotcha's
search for group(ed)(empty|argument) in cont-sys.tex
Did you mean syst-gen.tex? I tied dodoublegroupempty but it did not work in one case (see previous post) and I can not figure out why.
Aditya
Hi Aditya,
I tried something similiar and copied a example from core-rul.tex
[snip]
Hans, can you give us a hint what we are doing wrong or can you make a simple example to show us how we can create optional arguments between braces.
the magic is in \permitspacesbetweengroups
Magic indeed. It works for my case also. I will post an improved theorem macors to make use of this magic. Aditya