Comment by zamalek

workspace/symbol will do it (and the output may need some massaging), but it's optional.