((\\)+\1)* not equivalent to (\\\\)*