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 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81
<!DOCTYPE html>
<html class="reftest-wait">
  <head>
    <title>Largeop stretching</title>
    <meta charset="utf-8"/>
    <script type="text/javascript">

      function verifyGreaterThan(aElement, aReference) {
        /* Verify that the height of the element is greater than that of the
           reference, and otherwise paint the element in red. */
        var element = document.getElementById(aElement);
        var ref = document.getElementById(aReference);
        if (element.getBoundingClientRect().height -
            ref.getBoundingClientRect().height <= 1) {
          element.setAttribute("mathcolor", "red");
        }
      }

      function doTest() {
        /* Ensure that the parentheses in the displaystyle case stretch more
           than the alternative. */
        verifyGreaterThan("mo0", "mo0a");
        verifyGreaterThan("mo1", "mo1a");
        verifyGreaterThan("mo2", "mo2a");
        verifyGreaterThan("mo3", "mo3a");

        document.documentElement.removeAttribute("class");

      }
    </script>
  </head>
  <body onload="doTest();">
    <p>
      <math displaystyle="true">
        <mrow>
          <mo id="mo0">(</mo>
          <mo>∫</mo>
          <mo id="mo1">)</mo>
        <mrow>
      </math>
    </p>
    <p>
      <math>
        <mrow>
          <mo id="mo0a">(</mo>
          <mo>∫</mo>
          <mo id="mo1a">)</mo>
        <mrow>
      </math>
    </p>
    <p>
      <math displaystyle="true">
        <mrow>
          <mo id="mo2">(</mo>
          <mo>&Product;</mo>
          <mo id="mo3">)</mo>
        <mrow>
      </math>
    </p>
    <p>
      <math>
        <mrow>
          <mo id="mo2a">(</mo>
          <mo>&Product;</mo>
          <mo id="mo3a">)</mo>
        <mrow>
      </math>
    </p>
    <p>
      <!-- &bigotimes; included in the test to check for an assertion involving
           the direction of the largeop pre-stretch -->
      <math displaystyle="true">
        <mrow>
          <mo id="mo4">(</mo>
          <mo>&bigotimes;</mo>
          <mo id="mo5">)</mo>
        <mrow>
      </math>
    </p>
  </body>
</html>