La l3docstripcaracterística principal de (reemplazar @@por un prefijo de módulo) es muy buena, excepto para aquellos cuyos teclados no dan acceso práctico a @los caracteres (por ejemplo, AltGr+ 0en teclados franceses). ¿Es posible indicar l3docstripque se utilice otro alias que no sea @@?
Respuesta1
Pregunta simple, respuesta simple: ¡no!
Al igual que con otras partes de la sintaxis de DocStrip, por ejemplo el hecho de que < ... >es un guardia, este comportamiento está codificado en el programa en lugar de ser parte de un archivo de configuración o similar. La pequeña cantidad de convenciones de sintaxis para DocStripdefinirel formato, de la misma manera que el comportamiento de \foo#1#2es parte de la definición de sintaxis del documento LaTeX.