my initial thoughts on BQM: strands are more annoying to type but much better pretty much everywhere else (i still instinctively add ⊢/parens ._.); ↩ - finally a good character for that (never occurred to me that other.. arrows.... might be good for that), so much so i might want to implement it; ´ is the insertion version, enclosing the inputs for vector arguments, making it pretty much useless to me; ∘/⊸/⟜ are very nice (and very much expected with a symbol remapping); hard to say much about other symbol changes but what i've seen seems reasonably logical (no {𝕨‿𝕩} though?)