Definition:Half-Open Rectangle/Technical Note

From ProofWiki
Jump to navigation Jump to search

Technical Note on Half-Open Rectangle

The $\LaTeX$ code for \(\horectr {\mathbf a} {\mathbf b}\) is \horectr {\mathbf a} {\mathbf b} .

This is a custom $\mathsf{Pr} \infty \mathsf{fWiki}$ command designed to implement Wirth interval notation and its derivatives.

The name is derived from half-open rectangle on the right.