Re: Repetition syntax

On 03/12/2025 18:57, Graydon Saunders wrote:
[...]
> Some symmetric substitution (for those willing to type the characters 
> and not necessarily using guillemets, those are just me picking an 
> example) would ALSO be proper syntax, that is, both `<` and `«` would work:

I assumed we are restricted to ASCII. Otherwise × would work in #5 
without the risk of using a letter x.

Peter

Received on Wednesday, 3 December 2025 22:51:00 UTC