Wofür steht dieses Zeichen?

Ich habe es rot gekennzeichnet.

Answer 1

[mihisu]

„f eingeschränkt auf D“

D.h. man betrachtet die entsprechende Funktion, bei der man den Definitionsbereich auf D verkleinert hat.

Siehe auch: https://de.wikipedia.org/wiki/Einschränkung

Wenn f: A → B eine Abbildung ist und D ⊆ A eine Teilmenge des Definitionsbereichs A der Abbildung f ist, so ist...

$\left. f\right\rvert_{D} :\ D\to B,\quad x\mapsto f(x)$

... die Einschränkung von f auf D, welche dann D als Definitionsbereich hat (und dort aber weiterhin die gleiche Zuordnungsvorschrift bzw. Funktionsgleichung wie f hat).