The man page for mathop includes the '^' operator in the SYNOPSIS section but it is missing from the rest of the man page.
Fixed in HEAD and 8.5 branch.
Fixed in HEAD and 8.5 branch.