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.
Typesetting restriction of functions to sets
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