Re: Intended use of the empty chord <> construct

2018-05-01 Thread David Kastrup
Trevor Bača writes: > I recently discovered the empty chord <> construct. From some initial > tests, it looks like <> might solve a small handful of very difficult > spanner-termination cases I've been wrestling with for years. > > Before I go further, I'd like to check my understanding of <> and

Intended use of the empty chord <> construct

2018-05-01 Thread Trevor Bača
Hi, I recently discovered the empty chord <> construct. From some initial tests, it looks like <> might solve a small handful of very difficult spanner-termination cases I've been wrestling with for years. Before I go further, I'd like to check my understanding of <> and how it works: 1. Is <>