DXR will be turned off on Tuesday, December 29th. It will redirect to Searchfox.
See the announcement on Discourse.

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.

Line Code
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
<!DOCTYPE html>
<html>
  <head>
    <title>embellished operators 4-2: some non-space-like children</title>
  </head>

  <body>
    <div>
      <!-- a non-space-like child before-->
      <math xmlns="http://www.w3.org/1998/Math/MathML">
        <mover>
          <mtext>abcdef</mtext>
          <mrow><mi>g</mi><mo>&#xaf;</mo></mrow>
        </mover>
      </math>
    </div>
  </body>
</html>