@carucel666 

evalb(Equal(simplify(A), simplify(B)));

works! Thank you

Do you know how to get around this bug when using matrices?

with(LinearAlgebra):
Equal(<a * conjugate(a)>, <abs(a) ^ 2>);

Thank you very much: the MathML works and the latex works as well!