A Fish-Spear (p. 32)

  $\displaystyle \Circled{1}\ \underline{O}.1$    
  % latex2html id marker 2835
$\displaystyle \Circled{2}\ \mathpalette{\overarrow@\Leftarrowfill@}{R2}(\underline{Lp}) \ensuremath{\char93 }:\ \ll R2\infty$    
  % latex2html id marker 2836
$\displaystyle \Circled{3}\ \mathpalette{\overarrow...
...tte{\overarrow@\Rightarrowfill@}{L2}(\underline{Rp})\ \ \ensuremath{\char93 }\ $    
  % latex2html id marker 2837
$\displaystyle \Circled{4}\ \ensuremath{\Box}R1 : \ensuremath{\Box}R5\ \ensuremath{\textrm{I}}\ $