adding some missing symbols