output symbols