XModName( X )
Whenever the names of the source or range of X are changed, this
function may be used to produce the new standard form
[X.source.name->X.range.name] for the name of X. This function is
called automatically by XModPrint.
gap> k4.name := "v4";;
gap> XModName( CX );
"[v4->a4]"
GAP 3.4.4