| <!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> |