I think this issue can be closed as invalid.
Does Sage support non-commutative symbols yet? If so, our non-commutative symbols should be converted into their non-commutative symbols.