Is there a way to produce a larger vertical bar meaning "evaluated at"?

Like in latex \big| that produces a larger bar

You can use math.lr to size it according to an enclosed expression, but you can also bump up the size with an argument to lr, like in these examples:

#let evaluated(expr, size: 100%) = $lr(#expr|, size: #size)$
$ evaluated(f(x), size: #150%)_a^b $
$ evaluated(f(x)/g(x))_(x=0)^oo $

The package physica also has a function for this called evaluated that does something similar.

1 Like

I don’t see the point in abstraction. Not only the name is much longer, is not built-in, but it also removes the vertical bar, so it makes it harder to read.

Alternatively, you can define a few variables that will represent the vertical bar of different sizes, and use that substitution name instead, like vbar1, vbar2, etc.