</mstyle>
      <mover>
        <mn>4</mn>
        <mstyle><mo>⇀</mo></mstyle>
      </mover>
      <mstyle>
        <mrow>
          <mo>|</mo>
          <mspace height="100px"></mspace>
        </mrow>
      </mstyle>
      <mstyle>
        <mrow>
          <mo>|</mo>
          <mn>4</mn>
        </mrow>
      </mstyle>
      <mstyle>
        <mrow>
          <mn>1</mn>
          <mo>−</mo>
          <mn>2</mn>
        </mrow>
      </mstyle>
    </math>
  </p>
  <!-- notation attribute is from MathML