Definition:Closed Interval/Technical Note

From ProofWiki
Jump to navigation Jump to search

Technical Note on Closed Interval

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

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