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
<!DOCTYPE html>
<html>
<head>
  <title>op-dict symmetric</title>
</head>
<body>
  <math>
    <mrow>
      <mo symmetric="true">(</mo>
      <mspace height="5em" depth="5em"/>
    </mrow>
  </math>
</body>
</html>