# Definition:Restriction/Technical Note

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.