vline is being ignored when it should be replaced with a vertical line

[alita-moore]

LaTeXML/lib/LaTeXML/Engine/latex_constructs.pool.ltxml

Line 3777 in 8e9444e

DefConstructorI('\vline', undef, "", # ???

shouldn't \vline be replaced with a vertical bar i.e. |?

[dginev]

Thank you for the request!

I think it needs to stretch to the height of its container, so it is probably a little more complicated. And we have some choices for the existing alignment logic in latexml.

If we chose to represent this as some atomic markup, the desired HTML may be an empty element with a solid border that takes the height of its parent. Possible CSS:

.vline {
    display: inline-block;
    height: 100%;
    width: 0;
    border-left: solid;
}

This needs a second opinion from @brucemiller, also about the LaTeXML XML representation. Is <ltx:break class="vline"> the right semantics for tabular use?

But the more principled approach may be to detect the use of \vline from the alignment processing side, and use them as border hints for their parent cells. A \vline on the left edge of a cell sets a left border, on the right edge sets a right border. And if mixed in the middle of content, we may need a special single use stretchy vertical line?