On Wednesday, January 19, 2022 at 1:08:15 PM UTC-8, hb wrote: (snip) > Same command works in bash, although one would prefer > $ grep '\\end' helloworld.tex This is reminding me years ago of: grep \\\\\\\\ file.tex since \ is the escape character of both the shell and grep.