Closed saulalbert closed 6 years ago
Since double triangles will cause parsing problems for CHECK, we'll use a new unicode delimiter:
U+25B2 : BLACK UP-POINTING TRIANGLE "▲" for 'very fast talk'.
So any pair of ▲delimited▲ arrows should become double >>delimited<< inwards angled brackets.
Since double triangles will cause parsing problems for CHECK, we'll use a new unicode delimiter:
U+25B2 : BLACK UP-POINTING TRIANGLE "▲" for 'very fast talk'.
So any pair of ▲delimited▲ arrows should become double >>delimited<< inwards angled brackets.