+Σ𝟚↔⊎, +_*′_, and some with/out-K