Seven Stars (p. 56)

$\displaystyle %%& \Circled{1}\ \Opening{A} \\
$ $\displaystyle \Circled{1} - \Circled{5} \textrm{ as in Many Stars.}$    
  % latex2html id marker 2894
$\displaystyle \Circled{6}\ \ensuremath{\Box}u1\infty$    
  % latex2html id marker 2895
$\displaystyle \Circled{7}\ \underrightarrow{1}\lef...
...opinset{=}{\ensuremath{\mid}}{3pt}{0pt}\ \ensuremath{\char93 }: N \ell 1 \infty$    
  $\displaystyle \Circled{8}\ \underleftarrow{H3}\! \uparrow \left( 1\infty ^{(2)} \right):
(\overline{s} : \textrm{upper transverse string of $\bigtriangledown$})$    
  % latex2html id marker 2897
$\displaystyle \hspace{1cm} \ensuremath{\Box}1\infty ^{(2)}: \overrightarrow{2}(\overline{2f})\ \ensuremath{\char93 }(H3)$