if (defined &top) {
    ⊤
  }