unifying symbolisation