My Mastodon instance, for example, has the local domain set to vivaldi.net, but the web domain is set to social.vivaldi.net, so my handle looks like @\AltCode@vivaldi.net (or at least it does when viewed from remote servers that respect this configuration).