Support 𝔽_𝕣_𝔾⁼: header correctly

1 files changed, 1 insertions, 0 deletions

diff --git a/src/c.bqn b/src/c.bqn
index eba491fa..0ad1a8c9 100644
--- a/src/c.bqn
+++ b/src/c.bqn
@@ -187,6 +187,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn
   "Incorrect special name"_err_(HI) (0=hk)∧ht≠hv+⊑bI
   hk×↩¬hc∨hl∧0=hr                           # Treat subject labels like special names
   hm>↩hc⋄hr/˜↩hm⋄hx←(1»hc)/ha               # Header-derived role hr and immediacy ¬hx
+  ut-↩-⟜»ut×ho                              # Shift ⁼ from right operand to main name
   "Invalid Undo header syntax"_err_(HI) hm<×ut
   "Header left argument without right"_err_(HI) ha>hc+`⊸⊏hx∾0
   "Header operation must be a plain name"_err_(HI) hma>hk≠2