ISO\/IEC 80000 Deductions ISO standard is for example ISO\/IEC 80000 ⇐ (ISO\/IEC 80000 is a ISO standard), (is a is inverse of is for example)