Do you need a double backslash here in `\\^^`?