If the first value of the n-tuple in A is the naked symbol
along ("^"), substitute the value of the naked indicator for it.
For example, if A is the n-tuple (^, s1,
s2, ..., sn–1) and the naked indicator is
the m-tuple (^name, v1, v2, ...,
vm–1) and then A becomes the m - 1 + n-tuple (^name,
v1, v2, ..., vm–1,
s1, s2, ..., sn–1).
The value in A is now an n-tuple (^name, x1,
x2, ..., xn–1).
If A is a 1-tuple (no
subscripts), make the naked indicator undefined.
Otherwise,
replace the naked indicator with the n - 1-tuple (^name,
x1, x2, ..., xn–1).
A.