if (defined &top) {
    ⊤
  }

##</code><code>##

  &top if defined &top;