Man pages matching name tos-set-symbols in section 1:

tos-set-symbols.1.en

debian 10 / tinyos-tools