digital equivalent of Deductions -> is for example digital equivalent of ⇐ (digital equivalent of is a ->), (is a is inverse of is for example)