&top if defined ⊤