todo: more symbols