# Typesetting restriction of functions to sets

Is there a way to typeset restrictions of functions to a set (usually denoted by a large vertical bar that goes below the baseline)? In LaTeX it is `\restriction` from package `\usepackage{amssymb}` . The TeXmacs importer leaves it as an unknown macro.

The `\restriction` from `amssymb` gives me a upwards harpoon symbol. Is that the one you are looking for? You could use Unicode 21BE by doing `^q#21BE`.

You can apparently also do `/- Tab Tab Tab`.

1 Like

I use the following for restrictions: type “|” to start a bracking environment, then type the content, and then erase the first vertical bar. This give a vertical bar which automatically resize to the content and usually slightly taller. I use the same for fixing the extrema in the result of integrals or when computing derivatives.

1 Like