OCR_double_backslash.svg