Michael Lazzaro writes:
>
> Any ideas on what
>
> { $^a op $^b }
>
> would become?
>
> MikeL
maybe
{ $_a op $_b }
{ _ op _ }
and we have simple ( ? ) rules to distinguish it from "space-eater" _
* <sp > _ <sp> surrounded by spaces is placeholder if term is expected
* <sp> _postfixop "carriage-returns" and binds the operator to
previous term
* term_ <sp> eats to the next word but leaves zerowidth word boundary
* explicitely named placeholders in
{ $_a op $_b }
will have to begin with _ : $_a , $_b ( as before with ^ )
to remind that they are placeholders : named _ ;
I cannot quite see if that is totally consistent .
aracadi
