From: Hans Aberg (haberg@math.su.se)
Date: Sat Aug 08 2009 - 16:18:29 CDT
On 8 Aug 2009, at 01:54, Joachim Durchholz wrote:
> * The mention of ]...[ got me thinking. I was aiming for making all
> kinds of parentheses into the equivalent of (...), but it's
> important to
> allow people to define operators like |...| (say, if they are
> designing
> a set of operators that should mimick mathematical conventions as
> closely as possible).
Another example: physics "bra-ket" notation <x| and |y>, for vectors
in Hilbert spaces.
> In other words, different pairs of parentheses
> would have different, programmer-defined semantics, which means the
> programmer names the parenthese pair anyway and I don't need to rely
> on
> Unicode to classify parentheses.
The grammar of the set matching pairs is not context-free.
Hans
This archive was generated by hypermail 2.1.5 : Sat Aug 08 2009 - 16:24:26 CDT