Расшифровка:
P (Маньяк={0:4}) ≠ 0 – Вероятность того, что у нас или нет манков или их может быть до 4ех штук не равна нулю.