what element is "stdin"?

["Robert P. J. Day" <rpjday@mindspring.com>]

  what is the preferred markup for "stdin", when used as the name
of that I/O stream?  it's clearly not a file or variable name.
systemitem, perhaps?

rday