\printsymbols
