Why do we have both and `isDsymbol` and `getDsymbol`? Apart from the bad naming neither of them are documented.

Perhaps you'd like to take over this issue? You know a lot more about this and could add proper test-cases to avoid regressions.