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
<!DOCTYPE html>
<html>
<head>
  <title>op-dict mo form</title>
</head>
<body>
  <math>
    <mrow>
      <mo form="prefix">+</mo>
      <!-- need a second child to avoid zeroing dictionary spacing -->
      <mn>1</mn>
    </mrow>
  </math>
</body>
</html>