$ grep -r "#thm" writeups/

#thm

1 write-up