Introducir el caracter EOF

Hay muchos comandos en linux que reciben su entrada de datos directamene de la entrada estándar (por ejemplo more, less, tail, grep, etc.), y su funcionamiento termina cuando encuentran el caracter de fin de archivo, típicamente conocido como EOF.

Cuando la entrada de estos comandos se redirecciona desde un archivo (con <) o desde otro comando a través de una tubería (con |), el funcionamiento es muy natural... pero ¿y si los queremos usar directamente con la entrada estándar??

Bueno, en ese caso el problema se resuelve a saber cómo introducir, con el teclado, el dichoso caracter de fin de archivo. Durante mucho tiempo, eso fue un misterio para mí, hasta que lo descubrí por casualidad en un manual de Python:

El caracter de fin de archivo se inserta en la terminal con la combinación Ctrl+D.