Debian intel + nvidia optimus hdmi вывод не распознается

Как don_crissti ответил в комментариях, я включу его сюда, чтобы закрыть вопрос:

{ printf %s\\n '\begin{question}'; 
  cat Question.tex; 
  printf %s\\n '\begin{solution}'; 
  cat Solution.tex; 
  printf %s\\n '\end{solution}' '\end{question}';
} > Out.txt 

Скобки открывают последовательность команд, весь вывод которых будет перенаправлен в файл Out.txt. Операторы printf просто выводят связанные текстовые строки, а команды cat включают файлы Question.tex и Solution.tex.