/ Reference of Built-in Symbols /
Input/Output, Files, and Filesystem / File and Stream Operations / $Input /

$Input

$Input: is the name of the stream from which input is currently being read.

- $Input

← InputStream

→ Number