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
<!DOCTYPE html>
<html>
<head>
  <title>op-dict lspace and rspace</title>
</head>
<body>
  <math>
    <mrow>
      <mi>x</mi><mo form="prefix" lspace="0.05555555555555555em" rspace="0.3888888888888889em">&#x2200;</mo><mi>y</mi>
    </mrow>
  </math>
</body>
</html>