4

This question is in connection with How to typeset function restrictions

There, egreg gives a satisfactory answer (at least for me)

The problem is that I'd like to do the same thing with \restriction as delimiter instead of |, but somehow I can't figure out how to do that.

Community
  • 1
ftonti
  • 143
  • Welcome to TeX.sx! Usually, we don't put a greeting or a "thank you" in our posts. While this might seem strange at first, it is not a sign of lack of politeness, but rather part of our trying to keep everything very concise. Upvoting is the preferred way here to say "thank you" to users who helped you. – adn Feb 09 '12 at 12:17
  • 1
    The problem is that the \restriction symbol doesn't come with larger variants. – egreg Feb 09 '12 at 12:49
  • I see. I actually don't care about the size (since usually it's the right size), but the spacing of restriction is just very bad - what could I do to change that? – ftonti Feb 09 '12 at 13:28

2 Answers2

9

You can say (requires amssymb, of course)

\renewcommand{\restriction}{\mathord{\upharpoonright}}

and the result will be as in the second line in the following picture, while the first line represents what you get now

enter image description here

egreg
  • 1,121,712
0

To have the restriction of $f$ to some subdomain $A$, I would suggest $f\arrowvert_A$.

M. Khajeh Salehani
  • 1
  • 1