This is my task: I have written lots of texts that I transform into HTML code, TeX code or other "printing languages" using an Gawk script (I work on a Windows computer using cygwin for Unix-like tasks like running shell scripts). Within the text special characters are coded in a special way so they can be replaced with codes which ...