l3docstripОсновная функция (замена на @@префикс модуля) очень хороша, за исключением тех, чьи клавиатуры не дают удобного доступа к @символу (например, AltGr+ 0на французских клавиатурах). Можно ли указать l3docstripиспользовать другой псевдоним, нежели @@?
решение1
Простой вопрос, простой ответ: нет!
Как и в случае с другими частями синтаксиса DocStrip, например, тот факт, что < ... >является защитой, это поведение закодировано в программе, а не является частью файла конфигурации или чего-то подобного. Небольшое количество синтаксических соглашений для DocStripопределятьформат, так же как поведение \foo#1#2является частью определения синтаксиса документа LaTeX.