Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-16 20:22:06 -0700 (Mon, 16 Jun 2003)
Revision: 4666
Log message:
Changed the display for subscripting/assignment to use e.[e] instead of just e[e]
(to avoid confusion with SO substitution).
We really should have used display forms, not typing these things by hand...