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
<!DOCTYPE html>
 <html>
   <head>
     <title>munderover@accentunder</title>
     <meta charset="utf-8"/>
   </head>
   <body>
    <math>
      <munderover accentunder="true"><mtext>X</mtext><mo>O</mo><mo>O</mo></munderover>
    </math>
   </body>
</html>