Artificial intelligent assistant

What is the name of the vertical bar in $(x^2+1)\vert_{x = 4}$ or $\left.\left(\frac{x^3}{3}+x+c\right) \right\vert_0^4$? I've always wanted to know what the name of the vertical bar in these examples was: > $f(x)=(x^2+1)\vert_{x = 4}$ (I know this means evaluate $x$ at $4$) > > $\int_0^4 (x^2+1) \,dx = \left.\left(\frac{x^3}{3}+x+c\right) \right\vert_0^4$ (and I know this means that you would then evaluate at $x=0$ and $x=4$, then subtract $F(4)-F(0)$ if finding the net signed area) I know it seems trivial, but it's something I can't really seem to find when I go googling and the question came up in my calc class last night and no one seemed to know. Also, for bonus internets; What is the name of the horizontal bar in $\frac{x^3}{3}$? Is that called an obelus?

This may be called Evaluation bar. See, in particular, here ( **Evaluation Bar Notation:** ).

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy e82125eed6fe1a88a11be24cac76f0ba