<!DOCTYPE html>
<html class="reftest-wait">
  <head>
    <title>menclose phasorangle</title>
      <script type="text/javascript">
        function doTest() {
          document.getElementById('testMenclose').setAttribute("notation","phasorangle");
          document.documentElement.removeAttribute("class");
        }
        window.addEventListener("MozReftestInvalidate", doTest, false);
      </script>
  </head>
  <body>
    <p>
      <math><menclose id="testMenclose"><mspace width="100px" height="50px"></menclose></math>
    </p>
  </body>
</html>