This is a bit marginal too since I'm not sure this is a particularly standard notation.