![](https://secure.gravatar.com/avatar/cedc4d83943006afe3994fb0a0455f82.jpg?s=120&d=mm&r=g)
2 Jul
2006
2 Jul
'06
12:15 p.m.
On Sun, 2 Jul 2006, Hans Hagen wrote:
David Arnold wrote:
\startformula\relax [9,\infty)=\{x:\,x\ge 9\} \stopformula
indeed, that's the price to pay for optional arguments
Really? Isn't it rather the price for optional space before the "["? Cheers, Peter -- http://pmrb.free.fr/contact/