Update 01-intro.tex

Left the word "string" in English, but italicized.