No, "CEO Tax" is a popular term for this style of tax, but its not tied to CEOs specifically; its triggered by the pay ratio between the "highest paid managerial employee" of the firm and the median full-time-equivalent pay of full-time and part-time employees based in the City.