let mathd-algebra-48 = `!q:complex e:complex.
    (q = Cx(&9) - Cx(&4) * ii) /\
    (e = Cx(-- (&3)) - Cx(&4) * ii)
==>
    (q - e = Cx(&12))
`;;