Identifying unicode punctuation characters with Python regex

[jhermann]

> >>> P=P.replace('\\','\\\\').replace(']','\\]')   # escape both of them.

re.escape() does this w/o any assumptions by your code about the regex
implementation.