Use symbols for names of operator properties.
Authored by: whebisch 2008-10-01
Parent: [r393]
Child: [r395]