Has there ever been a legal crossover between batman and marvel characters?

Based on the evidence available, Batman is a character published by DC Comics and his supporting cast is well documented within that universe. There is no record in the provided sources of any legally sanctioned crossover event that places a Batman character alongside a Marvel character. Consequently, fans and researchers looking for official cross‑properties between DC and Marvel will not find any such collaboration in the official collections or publications referenced here.