"=" means syntactic equality. Check : is(equal(a,b))