<!DOCTYPE html> <html class="reftest-wait"> <head> <title>menclose top</title> <script type="text/javascript"> function doTest() { document.getElementById('testMenclose').setAttribute("notation","top"); 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>