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.