I have a zero mean multivariate normal probability distribution where WLOG each marginal variance is unity and all pairwise correlation coefficient are equal and positive. The number of elements in the random vector is arbitrary. I am interested in the probability distribution of the number of elements which exceed some threshold -- the same threshold for each element. The outcomes for each elements are collectively identically distributed dependent Bernoulli random variables, so by de Finetti's exchangeability theorem this probability distribution has a representation as a mixture of binomial distributions. I'd like to figure out the mixing measure but I haven't the foggiest idea how to start.

(edited to specify zero mean and equality of correlations)