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 20 21
<!DOCTYPE html>
<html>
  <head>
    <title>embellished operators 1: maction</title>
  </head>

  <body>
    <div>
      <!-- maction whose selected child is embellished op -->
      <math xmlns="http://www.w3.org/1998/Math/MathML">
        <mover>
          <mtext>abcdef</mtext>
          <maction actiontype="toggle" selection="2">
            <mo stretchy="false">&#xaf;</mo>
            <mo>&#xaf;</mo>
          </maction>
        </mover>
      </math>
    </div>
  </body>
</html>