operator-dictionary-spacing-003.html (1454B)
1 <!DOCTYPE html> 2 <html> 3 <head> 4 <meta charset="utf-8"> 5 <title>Operator dictionary</title> 6 <link rel="help" href="https://w3c.github.io/mathml-core/#operator-fence-separator-or-accent-mo"> 7 <link rel="help" href="https://w3c.github.io/mathml-core/#dictionary-based-attributes"> 8 <link rel="help" href="https://w3c.github.io/mathml-core/#operator-dictionary"> 9 <link rel="help" href="https://w3c.github.io/mathml-core/#stretchy-operator-axis"> 10 <meta name="assert" content="Verify default properties for characters that are in the operator dictionary, as well as for U+00A0 NO-BREAK SPACE"> 11 <meta name="timeout" content="long"> 12 <script src="/resources/testharness.js"></script> 13 <script src="/resources/testharnessreport.js"></script> 14 <script src="/mathml/support/feature-detection.js"></script> 15 <script src="/mathml/support/feature-detection-operators.js"></script> 16 <script src="/mathml/support/fonts.js"></script> 17 <script src="/mathml/support/operator-dictionary.js"></script> 18 <script src="./support/operator-dictionary-tests.js"></script> 19 <link rel="stylesheet" href="./support/operator-dictionary-tests.css"/> 20 <script> 21 setup({ explicit_done: true }); 22 window.addEventListener("load", () => { loadAllFonts().then(runTests); }); 23 async function runTests() { 24 let json = await fetchOperatorDictionary(); 25 await OperatorDictionaryTests.run(json, "lspace/rspace", 2); 26 done(); 27 } 28 </script> 29 </head> 30 <body> 31 <div id="log"></div> 32 </body> 33 </html>