在 latex 中是否有 arg-top-k (类似于 argmax) 的符号？

Question

$\arg\max$ 是 $\arg$ top-1 的标准符号。如果我想要 $k > 1$ 的 top-$k$ 怎么办？$\arg\max$ 一直以来都不是定义明确的，所以我并不为引入另一个来自以 CS 为主的文献的伪数学运算符而感到内疚。但它在解释 Gumbel soft-max（或一些人更喜欢的 soft-Gumbel-max）等情况下非常方便。

例如输出 $\top_k({x_1, \ldots, x_n},k=3)$ 应该生成前 3 个 $x_i$ 的集合。