texmath-0.13.1.2: test/writer/eqn/stretchVert2.test

<<< native
[ EDelimited
    "|"
    ""
    [ Right (EIdentifier "H")
    , Left "|"
    , Right (ESymbol Bin "+")
    , Right
        (EDelimited
           "\10216"
           "\10217"
           [ Right (EIdentifier "H")
           , Right (ESymbol Rel "\8739")
           , Right (EIdentifier "H")
           ])
    ]
]
>>> eqn
left | H "|" + left ⟨ H \[u2223] H right ⟩ right ""