Doubling backslashes will definitely work. Tcl will see backslashbackslash and escape it to a single backslash which will then get passed off to the regular expression engine which will use it to escape the next character (the + or the * in this case).
