Cat1Name( C )
Whenever the names of the source or the range of C are changed, this
function may be used to produce the new standard form
[<C.source.name> ==> <C.range.name>] for the name of C. This
function is called automatically by Cat1Print. Note the use of =,
rather than - in the arrow shaft, to indicate the pair of maps.
gap> C.range.name := "c4";; Cat1Name( C );
"[h20 ==> c4]"
GAP 3.4.4