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
<!DOCTYPE html>
<html>
<head>
  <title>op-dict stretchy</title>
</head>
<body>
  <math>
    <mrow>
      <mo stretchy="false"> ( </mo>
      <mfrac>
        <mi> a </mi>
        <mi> b </mi>
      </mfrac>
      <mo> ) </mo>
    </mrow>
  </math>
</body>
</html>