161 lines
3.1 KiB
HTML
161 lines
3.1 KiB
HTML
<!doctype html>
|
|
<html>
|
|
<head>
|
|
<title>Vertical Operators</title>
|
|
<meta charset="utf-8"/>
|
|
</head>
|
|
<body>
|
|
|
|
<!-- This verifies various vertical stretchy operators.
|
|
They should stretch to the height of the <mspace> elements.
|
|
Note: A font with an OpenType MATH table is required to stretch white square brackets, angle brackets and arrows. -->
|
|
<p>
|
|
<math>
|
|
<mo>[</mo>
|
|
<mo>]</mo>
|
|
<mo>{</mo>
|
|
<mo>}</mo>
|
|
<mo>(</mo>
|
|
<mo>)</mo>
|
|
<mo>|</mo>
|
|
<mo>⌈</mo>
|
|
<mo>⌉</mo>
|
|
<mo>⌊</mo>
|
|
<mo>⌋</mo>
|
|
<mo>⟦</mo>
|
|
<mo>⟧</mo>
|
|
<mo>⟨</mo>
|
|
<mo>⟩</mo>
|
|
<mspace height=".5em"/>
|
|
</math>
|
|
</p>
|
|
<p>
|
|
<math>
|
|
<mo>[</mo>
|
|
<mo>]</mo>
|
|
<mo>{</mo>
|
|
<mo>}</mo>
|
|
<mo>(</mo>
|
|
<mo>)</mo>
|
|
<mo>|</mo>
|
|
<mo>⌈</mo>
|
|
<mo>⌉</mo>
|
|
<mo>⌊</mo>
|
|
<mo>⌋</mo>
|
|
<mo>⟦</mo>
|
|
<mo>⟧</mo>
|
|
<mo>⟨</mo>
|
|
<mo>⟩</mo>
|
|
<mspace height="1em"/>
|
|
</math>
|
|
<math>
|
|
<mo>↑</mo>
|
|
<mo>↓</mo>
|
|
<mo>↕</mo>
|
|
<mo>↥</mo>
|
|
<mo>↧</mo>
|
|
<mo>↾</mo>
|
|
<mo>⇂</mo>
|
|
<mo>↿</mo>
|
|
<mo>⇃</mo>
|
|
<mo>⇑</mo>
|
|
<mo>⇓</mo>
|
|
<mo>⇕</mo>
|
|
<mspace height="1em"/>
|
|
</math>
|
|
</p>
|
|
<p>
|
|
<math>
|
|
<mo>[</mo>
|
|
<mo>]</mo>
|
|
<mo>{</mo>
|
|
<mo>}</mo>
|
|
<mo>(</mo>
|
|
<mo>)</mo>
|
|
<mo>|</mo>
|
|
<mo>⌈</mo>
|
|
<mo>⌉</mo>
|
|
<mo>⌊</mo>
|
|
<mo>⌋</mo>
|
|
<mo>⟦</mo>
|
|
<mo>⟧</mo>
|
|
<mo>⟨</mo>
|
|
<mo>⟩</mo>
|
|
<mspace height="1.5em"/>
|
|
</math>
|
|
</p>
|
|
<p>
|
|
<math>
|
|
<mo>[</mo>
|
|
<mo>]</mo>
|
|
<mo>{</mo>
|
|
<mo>}</mo>
|
|
<mo>(</mo>
|
|
<mo>)</mo>
|
|
<mo>|</mo>
|
|
<mo>⌈</mo>
|
|
<mo>⌉</mo>
|
|
<mo>⌊</mo>
|
|
<mo>⌋</mo>
|
|
<mo>⟦</mo>
|
|
<mo>⟧</mo>
|
|
<mo>⟨</mo>
|
|
<mo>⟩</mo>
|
|
<mspace height="2em"/>
|
|
</math>
|
|
<math>
|
|
<mo>↑</mo>
|
|
<mo>↓</mo>
|
|
<mo>↕</mo>
|
|
<mo>↥</mo>
|
|
<mo>↧</mo>
|
|
<mo>↾</mo>
|
|
<mo>⇂</mo>
|
|
<mo>↿</mo>
|
|
<mo>⇃</mo>
|
|
<mo>⇑</mo>
|
|
<mo>⇓</mo>
|
|
<mo>⇕</mo>
|
|
<mspace height="2em"/>
|
|
</math>
|
|
</p>
|
|
<p>
|
|
<math>
|
|
<mo>[</mo>
|
|
<mo>]</mo>
|
|
<mo>{</mo>
|
|
<mo>}</mo>
|
|
<mo>(</mo>
|
|
<mo>)</mo>
|
|
<mo>|</mo>
|
|
<mo>⌈</mo>
|
|
<mo>⌉</mo>
|
|
<mo>⌊</mo>
|
|
<mo>⌋</mo>
|
|
<mo>⟦</mo>
|
|
<mo>⟧</mo>
|
|
<mo>⟨</mo>
|
|
<mo>⟩</mo>
|
|
<mspace height="4em"/>
|
|
</math>
|
|
<math>
|
|
<mo>↑</mo>
|
|
<mo>↓</mo>
|
|
<mo>↕</mo>
|
|
<mo>↥</mo>
|
|
<mo>↧</mo>
|
|
<mo>↾</mo>
|
|
<mo>⇂</mo>
|
|
<mo>↿</mo>
|
|
<mo>⇃</mo>
|
|
<mo>⇑</mo>
|
|
<mo>⇓</mo>
|
|
<mo>⇕</mo>
|
|
<mspace height="4em"/>
|
|
</math>
|
|
</p>
|
|
|
|
|
|
</body>
|
|
</html>
|