blob: 862fc36a20c9876e96e273c1544462a953bc321d (
plain)
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
|
<!DOCTYPE html>
<html class="reftest-wait">
<head>
<meta charset="utf-8">
<title><mo> dynamic form</title>
<link rel="help" href="https://w3c.github.io/mathml-core/#operator-fence-separator-or-accent-mo">
<meta name="assert" content="Verifies that the form (and thus spacing) can be changed dynamically">
<link rel="match" href="mo-form-dynamic-002-ref.html">
<link rel="stylesheet" type="text/css" href="/fonts/ahem.css" />
<style>
math, math * {
font: 60px/1 Ahem;
}
mo {
color: blue;
}
</style>
<script>
window.addEventListener("load", () => {
document.getElementById("infix_attach_prefix").setAttribute("form", "prefix");
document.getElementById("prefix_attach_infix").setAttribute("form", "infix");
document.getElementById("infix_remove").removeAttribute("form");
document.getElementById("prefix_remove").removeAttribute("form");
document.getElementById("infix_set_to_prefix").setAttribute("form", "prefix");
document.getElementById("prefix_set_to_infix").setAttribute("form", "infix");
document.documentElement.classList.remove("reftest-wait");
});
</script>
</head>
<body>
<!-- Prefix and infix forms of "+" have different default spacing in
the operator dictionary. -->
<p>
<math>
<mn>1</mn><mo id="infix_attach_prefix">+</mo><mn>2</mn>
</math>
</p>
<p>
<math>
<mo id="prefix_attach_infix">+</mo><mn>3</mn>
</math>
</p>
<p>
<math>
<mn>1</mn><mo id="infix_remove" form="prefix">+</mo><mn>2</mn>
</math>
</p>
<p>
<math>
<mo id="prefix_remove" form="infix">+</mo><mn>3</mn>
</math>
</p>
<p>
<math>
<mn>1</mn><mo id="infix_set_to_prefix" form="postfix">+</mo><mn>2</mn>
</math>
</p>
<p>
<math>
<mo id="prefix_set_to_infix" form="postfix">+</mo><mn>3</mn>
</math>
</p>
<script src="/mathml/support/feature-detection.js"></script>
<script>MathMLFeatureDetection.ensure_for_match_reftest("has_operator_spacing");</script>
</body>
</html>
|
