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?

In the wikipedia article for the symbol no name for this particular use of it is mentioned, just that it is read as, simply, "evaluated at". It has a number of suggested names for the symbol from different situations though:

verti-bar, vbar, stick, vertical line, vertical slash, or bar, think colon, poley or divider line

