Partitioning a string in Python by a regular expression,"re.split('(\\W+)', s)"