add a function to print a D-symbol in the usual format