What would the conventional or an otherwise useful notation for the second-highest value of $v_i, i=1,\ldots,n$ be?
I use $v_{n-1:n}$, which I used in statistics, but that may not be quite intuitively graspable. $v_{(n-1)}$ seems like asking for trouble.
So perhaps I am missing an obvious candidate. Any suggestions?