You mean how could it be described? With the new E atom it should be simple enough to do exactly one reflection: [B-E-sB] (a slight change from the regular refl. B in HG's comment)
For arbitrarily many, but at least one, I think we still need the off‑board interpretation of o as the [] notation lacks arbitrary repetitions afaict.
That would give something like yafoabyas(yafoabyas)B (though the sandbox seems to ignore the brackets on the second one, only allowing either one or two reflections… probably I'm doing sth wrong)
You mean how could it be described? With the new
Eatom it should be simple enough to do exactly one reflection: [B-E-sB] (a slight change from the regular refl. B in HG's comment) For arbitrarily many, but at least one, I think we still need the off‑board interpretation ofoas the[]notation lacks arbitrary repetitions afaict. That would give something likeyafoabyas(yafoabyas)B(though the sandbox seems to ignore the brackets on the second one, only allowing either one or two reflections… probably I'm doing sth wrong)