DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Mercurial (b6d82b1a6b02)

VCS Links

Line Code
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
<!DOCTYPE html>
<html>
  <head>
    <title>embellished operators 5: vertical stretchy operator</title>
  </head>

  <body>
    <div>
      <math xmlns="http://www.w3.org/1998/Math/MathML">
        <mrow>
          <msub>
            <mo>|</mo>
            <mspace/>
          </msub>
          <mspace height="30px" depth="30px"/>
        </mrow>
      </math>
    </div>
  </body>
</html>