[SVG output] Non-stretchy left angle bracket misaligned

[zorkow]

Left angle bracket moves over the a in this example:

<mrow>
    <mo stretchy="false">&#x27E8;</mo>
    <mi>a</mi>
    <mo stretchy="false" braketbar="true">|</mo>
    <mi>b</mi>
    <mo stretchy="false">&#x27E9;</mo>
  </mrow>

(Looks fine in CHTML.)

[dpvc]

I'm not able to reproduce. What branch are you on?

Also, mo doesn't have a bracketbar attribute. If it is a custom one that you have added, you should use data-bracketbar.