symbol-defs