$ [ IpPIx:T0?K0 < 1[PP