MATLAB: Verifing symbolic equality in MATLAB

Question

Hello everyone. How can I verify a symbolic equality? For example:

(a+b)*(a-b)=a^2-b^2

Thank you for your help.

Answer 1

>> syms a b
>> X = (a+b)*(a-b);
>> Y = a^2-b^2;
>> isAlways(X == Y)
ans =
    logical
     1