Guarde dos puntos activos desde expl3

Guarde dos puntos activos desde expl3

¿Existe alguna forma preferida de realizar lo siguiente sin tener que abandonar la sintaxis expl3?

\documentclass{article}
\usepackage{expl3}
\usepackage[french]{babel}
\begin{document}

\ExplSyntaxOn
% suppose I am within a package here -- else the definition could just be made
% outside of the expl3 scope
\group_begin:
\char_set_catcode_active:N \:
% now expl3 syntax isn't possible any more
\gdef \c_colon_active_tl {:}
\endgroup

% just for showing things are working as expected:
a \c_colon_active_tl {} ~ vs~ a:
\ExplSyntaxOff

\end{document}

Respuesta1

El habitual problema del huevo y la gallina, solucionable con el \lowercasetruco:

\documentclass{article}
\usepackage{xparse}

\ExplSyntaxOn
\group_begin:
\char_set_catcode_active:N \^^@
\char_set_lccode:nn { `^^@ } { `: }
\tl_to_lowercase:n { \group_end:
  \tl_const:Nn \c_colon_active_tl { ^^@ }
}

\tl_show_analysis:N \c_colon_active_tl

La salida es

The token list \c_colon_active_tl contains the tokens:
>  : (active character=undefined).

(Para lanzamientos anteriores a TeX Live 2017, necesitarás \usepackage{l3tl-analysis}además \usepackage{xparse}para que esto funcione).


ACTUALIZACIÓN 2020

Ahora existe una manera mucho mejor de hacer lo mismo (por cierto, el código anterior no se ejecutaría en expl3kernels recientes).

\documentclass{article}
\usepackage{xparse}

\ExplSyntaxOn
\group_begin:
\char_set_active_eq:nN { `: } \scan_stop:
\tl_const:Nx \c_colon_active_tl { \char_generate:nn { `: } { 13 } }
\group_end:

\tl_analysis_show:N \c_colon_active_tl

Esta espectáculos

The token list \c_colon_active_tl contains the tokens:
>  : (active character=undefined).

Sin embargo, al definir un significado para los dos puntos activos, el uso \c_colon_active_tllo emplearía, porque un carácter activo es una macro. El \scan_stop:(es decir, \relax) se utiliza para evitar la expansión del colon activo generado.

información relacionada