Jason Merrill wrote: > Dt is already used for decltype. But Ds/Dj would work. Michael Wong suggests Ds/Di for sign parity. If nobody objects I think I'll go ahead with that. Jason