EndOfFile
EndOfFile ist ein Symbol, das von Read zurückgegeben wird, wenn das Ende einer Datei erreicht wird.
Nachfolgende Aufrufe von Read werden ebenfalls EndOfFile liefern. Siehe Das Mathematica Buch: 2.11.8.