Re: A different symbol for {|

> But then you can use the annotation syntax {| ... |}  and write your long URIs
> or long strings only once.

Are you making fun of me? The original question was to replace {||}. One suggestion was to use a triple followed by <<>>. I objected that this was not a good replacement because I would need to write long strings twice. So you suggest that I use {||} instead? Back to where we started.

Received on Monday, 4 January 2021 13:59:59 UTC