widen possibilities for symbol names