suggest using it for checking if a red-black tree is empty.
NULL as Dv instead of Va (it's not really variable, is it? :) ). Replace & with \*[Am].