in src/math_verify/parser.py [0:0]
def extract_string(match: re.Match, string_config: StringExtractionConfig):
extracted_str = match.group("string_keys")
parsed_str = extracted_str
if string_config.lowercase:
parsed_str = extracted_str.lower()
return parsed_str, extracted_str