[GiNaC-devel] printing of Dirac-slash objects.