Add proper symbols