Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-10-07 20:02:51 -0700 (Fri, 07 Oct 2005)
Revision: 7876
Log message:

      Copy Lm_symbol from the trunk.