\printsymbols