i am not asking for a lot. this is already real k...

# language-evolution

[jimn]

i am not asking for a lot. this is already real kotlin -

return if (J1 in (P..M) && (J2 in S..M))
        when (S) {
            S `↔` P -> S `→` P
            S `⇔` P -> S `⇒` P
            S1 `∧` S2 -> S1
            S1 -> S1 `∨` S2
            S `→` P -> (S `∪` M) `→` (P `∪` M)
            S `→` P -> (S `∩` M) `→` (P `∩` M)
            S `↔` P -> (S `∪` M) `↔` (P `∪` M)
            S `↔` P -> (S `∩` M) `↔` (P `∩` M)
            S `⇒` P -> (S `∨` M) `⇒` (P `∨` M)
            S `⇒` P -> (S `∧` M) `⇒` (P `∧` M)
            S `⇔` P -> (S `∨` M) `⇔` (P `∨` M)
            S `⇔` P -> (S `∧` M) `⇔` (P `∧` M)
            S `→` P -> (S `−` M) `→` (P `−` M)
            S `→` P -> (M `−` P) `→` (M `−` S)
            S `→` P -> (S `⦵` M) `→` (P `⦵` M)
            S `→` P -> (M `⦵` P) `→` (M `⦵` S)
            S `↔` P -> (S `−` M) `↔` (P `−` M)
            S `↔` P -> (M `−` P) `↔` (M `−` S)
            S `↔` P -> (S `⦵` M) `↔` (P `⦵` M)
            S `↔` P -> (M `⦵` P) `↔` (M `⦵` S)
            M `→` (T1 `−` T2) -> `¬`(M `→` T2)
            (T1 `⦵` T2) `→` M -> `¬`(T2 `→` M)
            S `→` P -> (S `╱` M) `→` (P `╱` M)
            S `→` P -> (S `╲` M) `→` (P `╲` M)
            S `→` P -> (M `╱` P) `→` (M `╱` S)
            S `→` P -> (M `╲` P) `→` (M `╲` S)
        }