Как ввести символ EOF (End Of File -- конец файла)

При вводе текста в файл с клавиатуре в терминале, например с помощью команды

cat <&1 >file1

требуется в конце ввода ввести специальный псевдо-символ EOF (конец файла). Он вводится комбинацией клавиш Ctrl+D.