Apart from removing redundant mrow elements, MrowNormalizer also adds mrow to transform detected fenced expressions to the form:
<mrow><mo>(</mo><mrow> ... </mrow><mo>)</mo></mrow>
I'm not sure what should be preferred in case when this format breaks the rules for mrow minimizing (only one element in inner mrow, etc.) Should the redundant elements be removed or should the exact format be kept?
Apart from removing redundant mrow elements, MrowNormalizer also adds mrow to transform detected fenced expressions to the form:
I'm not sure what should be preferred in case when this format breaks the rules for mrow minimizing (only one element in inner
mrow, etc.) Should the redundant elements be removed or should the exact format be kept?