Re: Markup in the middle of a spanner

[David Nalesnik]

On Fri, Apr 7, 2023 at 7:26 AM David Nalesnik <david.nalesnik@gmail.com> wrote:

Hi Andrew,

On Fri, Apr 7, 2023 at 7:23 AM Andrew Bernard <andrew.bernard@mailbox.org> wrote:

Ah, that's the one I now remember.

Could this go into OLL?

Andrew

Sure, if you like!  It might need some adjusting for 2.24 - not sure.

David 

Works fine in 2.24.