The command verify(expr1, expr2, reverse(ver)) is equivalent to verify(expr2, expr1, ver).

This verification is symmetric only if ver is symmetric (and in that case, one might as well use ver instead of reverse(ver)).

$\mathrm{verify}\left(\left\{a\,b\,c\right\}\,a\,'\mathrm{reverse}'\left('\mathrm{member}'\right)\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\left\{a\,b\,c\right\}\,x\,'\mathrm{reverse}'\left('\mathrm{member}'\right)\right)$

$\mathrm{false}$

The verify/reverse command was introduced in Maple 2023.

For more information on Maple 2023 changes, see Updates in Maple 2023.