added missing symbols