extended symbol table with function to return default symbols x1, x2, ...