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.

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
<!DOCTYPE html>
<html>
  <head>
    <title>embellished operators: maction and mrow-like as space-like children
    </title>
  </head>

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