End of file: end of medium?

[Walter Bright]

Luís Marques wrote:
> The grammar for the lexical analysis contains:
> 
> EndOfFile:
> physical end of the file
> \u0000
> \u001A
> 
> I don't understand, what's a \u001A? Substitution? How does that work?
> Wouldn't you want something like \u0019, end of medium?

Some text editors mark the end of the text with a 0x1A (control Z) 
character. It's a holdover from the DOS days when files got padded out 
to the next sector boundary.