Start using cartouche for the mixfix annotation of `dual`

[jeltsch]

The mixfix annotation of dual uses a string. However, our current policy is to use cartouches in mixfix annotations. We shall turn the string in said mixfix annotation into a cartouche.