let scope_start_tag = ("startscope", [`UNDERLINE `DOUBLE])