North Star (p. 65)

  $\displaystyle \Circled{1}\ \underline{O}. {A}$    
  % latex2html id marker 2918
$\displaystyle \Circled{2}\ \overleftarrow{3}(\underline{1f})\ \ensuremath{\char93 }\ : \ensuremath{\Box}1\ \ensuremath{\vert}$    
  $\displaystyle \Circled{3} - \Circled{7} \textrm{ as in Many Stars.}$