added symbol operation and some mini improvements