Definition:Restriction/Technical Note

From ProofWiki
Jump to navigation Jump to search

Technical Note on presentation of Restriction

The $\LaTeX$ code for \(f {\restriction_{X \times Y} }: X \to Y\) is f {\restriction_{X \times Y} }: X \to Y .

Note that because of the way MathJax renders the image, the restriction symbol and its subscript \restriction_T need to be enclosed within braces { ... } in order for the spacing to be correct.

The $\LaTeX$ code for \(s \mathrel {\RR {\restriction_{X \times Y} } } t\) is s \mathrel {\RR {\restriction_{X \times Y} } } t .

The $\LaTeX$ code for \(t_1 \mathbin {\circ {\restriction_T} } t_2\) is t_1 \mathbin {\circ {\restriction_T} } t_2 .

Again, note the use of \mathrel { ... } and \mathbin { ... } so as to render the spacing evenly.