Implemented some more symbols