Re: Markup in the middle of a spanner

[David Nalesnik]

Hi Andrew,

On Fri, Apr 7, 2023 at 7:23 AM Andrew Bernard <andrew.bern...@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