⍺<≡⍵ ⍺≥≡⍵ ⍺<|≡⍵ ⍺≥|≡⍵ ⍺<≢∪⍵ ⍺≥≢∪⍵ ≢∪⍵ ⍴∪⍵ ⍺<⍳⍵ ⍺≥⍳⍵ ⌽⍉⌽⍵ ⌽⍉⊖⍵ ⍉⌽⍉⌽⍵ ⍉⌽⍉⊖⍵ (⍳⍺)+⍳⍵ (⍳⍺)+a+⍳⍵ (⍳⍺)+a+b×⍳⍵ (⍳⍺)+b×a+⍳⍵
⍺≤≡⍵ ⍺>≡⍵ ⍺≤|≡⍵ ⍺>|≡⍵ ⍺≤≢∪⍵ ⍺>≢∪⍵ ⍵≡∪⍵ ⍺≤⍳⍵ ⍺>⍳⍵ ⊖⍉⊖⍵ ⊖⍉⌽⍵ ⍉⊖⍉⊖⍵ ⍉⊖⍉⌽⍵ (c+⍳⍺)+⍳⍵ (c+⍳⍺)+a+⍳⍵ (c+⍳⍺)+a+b×⍳⍵ (c+⍳⍺)+b×a+⍳⍵
⍺=≡⍵ ⍺≠≡⍵ ⍺=|≡⍵ ⍺≠|≡⍵ ⍺=≢∪⍵ ⍺≠≢∪⍵ ⍵≢∪⍵ ⍺=⍳⍵ ⍺≠⍳⍵ ⊖⍉⊖⍉⍵ ⌽⍉⌽⍉⍵ (c+d×⍳⍺)+⍳⍵ (c+d×⍳⍺)+a+⍳⍵ (c+d×⍳⍺)+a+b×⍳⍵ (c+d×⍳⍺)+b×a+⍳⍵
⍺⌊≡⍵ ⍺=≡,⍵ ⍺⌊|≡⍵ ⍺⌊≢∪⍵ (⍳≢⍵)=⍳⍨⍵ (∪⍵)⍳⍵ ⌽⌽⍵ ⌽⊖⍵ ⊖⊖⍵ ⌽⊖⌽⍵ ⊖⌽⊖⍵ (d×c+⍳⍺)+⍳⍵ (d×c+⍳⍺)+a+⍳⍵ (d×c+⍳⍺)+a+b×⍳⍵ (d×c+⍳⍺)+b×a+⍳⍵
≢,⍵ ⍴,⍵ ≢,⊣⌿⍵ ≢⊣⌿⍪⍵ ≢,⊢⌿⍵ ≢⍺∪⍵ ≢⍺∩⍵ ≢⍺~⍵ ⊃⌽⍵ ⊃⊖⍵ ⊃⌽⊖⍵ ⊃⌽⍉⍵ ⊖⊖⌽⊖⌽⌽⊖⌽⍵ d×(c+⍳⍺)+⍳⍵ d×(c+⍳⍺)+a+⍳⍵ d×(c+⍳⍺)+a+b×⍳⍵ d×(c+⍳⍺)+b×a+⍳⍵
≡,⍵ ⍴⍪⍵ ≢,⊣/⍵ ≢⊣/⍪⍵ ≢,⊢/⍵ ⍴⍺∪⍵ ⍴⍺∩⍵ ⍴⍺~⍵ +/∧\⍵ +/~∧\⍵ +/~∧\~⍵ +/∧\~⍵ ⌽∧\⌽⍵ ⌽∨\⌽⍵ ⌽<\⌽⍵ ⌽≤\⌽⍵ ⌽≠\⌽⍵ ⌽=\⌽⍵ ⊖+⍀⊖⍵ ⊖⌈⍀⊖⍵ ⊖⍲⍀⊖⍵ ⊖>⍀⊖⍵
⌊/⍺⍳⍵ ∨/⍺∊⍵ i<⍺⍳⍵ i≤⍺⍳⍵ i≥⍺⍳⍵ i>⍺⍳⍵ i⌊⍺⍳⍵ +/∨\⍵ +/~∨\⍵ +/~∨\~⍵ +/∨\~⍵ ⊖∧⍀⊖⍵ ⊖∨⍀⊖⍵ ⊖<⍀⊖⍵ ⊖≤⍀⊖⍵ ⊖≠⍀⊖⍵ ⊖=⍀⊖⍵ ⊖-⍀⊖⍵ ⊖⌊⍀⊖⍵ ⊖⍱⍀⊖⍵ ⊖≥⍀⊖⍵
⌊/⍺⍸⍵ ⌈/⍺⍸⍵ i=⍺⍸⍵ i≠⍺⍸⍵ i⌈⍺⍸⍵ i⌊⍺⍸⍵ ⍺⍸a⌈⍵ ⍺⍸a⌊⍵ +/∧\⌽⍵ +/∧\~⌽⍵ (⊖⍺)⍳⍵ (⌽⍺)⍳⍵ ∪⍺,⍵ ∪⍺⍪⍵ ∪⍺∪⍵ ⊖×⍀⊖⍵ ⍺<⍳⍵ ⍺<a+⍳⍵ ⍺<a+b×⍳⍵ ⍺<b×a+⍳⍵
≢∊⍵ ⍴∊⍵ +/∊⍵ ×/∊⍵ ∧/∊⍵ ∨/∊⍵ ⌈/∊⍵ ⌊/∊⍵ ⍺∊∊⍵ (∊⍺)⍳⍵ +/∨\⌽⍵ +/∨\~⌽⍵ (⊖⍺)⍸⍵ (⌽⍺)⍸⍵ ⍺∊,⍵ ⍺∊s⍴⍵ ⍺~,⍵ ⍺~a⍴⍵ ⍺≤⍳⍵ ⍺≤a+⍳⍵ ⍺≤a+b×⍳⍵ ⍺≤b×a+⍳⍵
⊃∊⍵ ⍺↑∊⍵ ⍺↓∊⍵ ⍸∊⍵ ⍺↑⍸∊⍵ ∪∊⍵ ⍺,∊⍵ ⍺↑↑⍵ l↑⍺⌿⍵ l↓⍺⌿⍵ (,⍺)/⍵ ⍺\⍺/⍵ ⍺<⎕UCS⍵ ⍺≥⎕UCS⍵ ⍺⌈⎕UCS⍵ ⍴'UTF-8'⎕UCS⍵ ⍺=⍳⍵ ⍺=a+⍳⍵ ⍺=a+b×⍳⍵ ⍺=b×a+⍳⍵
≢⍸⍵ ⍴⍸⍵ ⊃⍸⍵ ⊃⌽⍸⍵ ⍺↑⍸⍵ (⍺⍸⍵)-⍺∊⍵ 2|⍸⍵ l↑⍺⍀⍵ l↓⍺⍀⍵ b/⍺⊂⍵ ⍺⍀⍺⌿⍵ ⍺≤⎕UCS⍵ ⍺>⎕UCS⍵ ⍺⌊⎕UCS⍵ ≢'UTF-8'⎕UCS⍵ ⍺≥⍳⍵ ⍺≥a+⍳⍵ ⍺≥a+b×⍳⍵ ⍺≥b×a+⍳⍵
⍸⍉⍵ ⍸⌽⍵ ⍸⊖⍵ ⍸⊖⌽⍵ ⍸⍺⍴⍵ ⍸,⍵ ⍸⍪⍵ ⍺⍳⍳⍵ ⍺∊r/⍵ (r/⍺)⍳⍵ (,⍺)/,⍵ ⌈/,⎕UCS⍵ ⌈⌿⎕UCS⍵ ⌈/⎕UCS⍵ (⎕UCS⍺)⌈⎕UCS⍵ ⍺>⍳⍵ ⍺>a+⍳⍵ ⍺>a+b×⍳⍵ ⍺>b×a+⍳⍵
⍺⍳⍺,⍵ ⍺⍳⍺⍪⍵ ∪⎕DR¨⍵ ⌈/⎕DR¨⍵ ⌈/,⎕DR¨⍵ ⍺∊r⌿⍵ (r⌿⍺)⍳⍵ a,b,c,d,e ⌊/,⎕UCS⍵ ⌊⌿⎕UCS⍵ ⌊/⎕UCS⍵ (⎕UCS⍺)⌊⎕UCS⍵ ⍺≠⍳⍵ ⍺≠a+⍳⍵ ⍺≠a+b×⍳⍵ ⍺≠b×a+⍳⍵
⍵⍳⍺,⍵ ⍵⍳⍺⍪⍵ ⍺∊⎕DR¨⍵ ⌊/⎕DR¨⍵ ⌊/,⎕DR¨⍵ v[k⍳⍵] v[k⍳⍵;] (k⍳⍵)⊃v (⊂k⍳⍵)⌷v ⍋⍋⍋⍵ l↑⍳⍵ l↑a+⍳⍵ l↑a+b×⍳⍵ l↑b×a+⍳⍵ (l<⍵)∧⍵<r (l<⍵)∧⍵≤r
⍵[⍋⍵] ⍵[⍒⍵] ⍵[⍋⍵;] ⍵[⍒⍵;] (⊂⍋⍵)⌷⍵ (⊂⍒⍵)⌷⍵ ⍋⍋⍵ ⍋⍒⍵ ⍺↑⍋⍋⍵ ⍺↑⍋⍒⍵ ⍺↓⍋⍋⍵ ⍺↓⍋⍒⍵ ⍋⍋⍒⍵ l↓⍳⍵ l↓a+⍳⍵ l↓a+b×⍳⍵ l↓b×a+⍳⍵ (l≤⍵)∧⍵<r (l≤⍵)∧⍵≤r
⍵[⍋⍺] ⍵[⍒⍺] ⍵[⍋⍺;] ⍵[⍒⍺;] (⊂⍋⍺)⌷⍵ (⊂⍒⍺)⌷⍵ ⍒⍒⍵ ⍒⍋⍵ ⍺↑⍒⍒⍵ ⍺↑⍒⍋⍵ ⍺↓⍒⍒⍵ ⍺↓⍒⍋⍵ ⍒⍒⍋⍵ n⌽⍳⍵ n⌽a+⍳⍵ n⌽a+b×⍳⍵ n⌽b×a+⍳⍵ (⍵<l)∨r<⍵ (⍵<l)∨r≤⍵
⍺⍸⍵[⍋⍵] ∪⍵[⍋⍵] ∪⍵[⍒⍵] {⍵[⍋⍵]}⍺?⍵ {⍵[⍒⍵]}⍺?⍵ +/⍺?⍵ ⍵≡⍋⍋⍵ ⍒⍒⍒⍵ n⊖⍳⍵ n⊖a+⍳⍵ n⊖a+b×⍳⍵ n⊖b×a+⍳⍵ (⍵≤l)∨r<⍵ (⍵≤l)∨r≤⍵
⊃⍋⍵ ⊃⌽⍋⍵ ⍺⊃⍋⍵ (⍋⍵)[⍺] ⍺↑⍋⍵ ⍋↓⍵ ⍋⍺⍳⍵ n↑-⍵ ⍵=⍺⌽⍵ ⍵≠⍺⌽⍵ ⍵=⍺⊖⍵ ⍵≠⍺⊖⍵ (⍺↓⍵)=(-⍺)↓⍵ (⍺↓⍵)≠(-⍺)↓⍵ (⍳⍺)⍳⍵ (a+⍳⍺)⍳⍵ (a+b×⍳⍺)⍳⍵ (b×a+⍳⍺)⍳⍵
⊃⍒⍵ ⊃⌽⍒⍵ ⍺⊃⍒⍵ (⍒⍵)[⍺] ⍺↑⍒⍵ ⍒↓⍵ ⍒⍺⍳⍵ n↑÷⍵ ⍵<⍺⌽⍵ ⍵≥⍺⌽⍵ ⍵<⍺⊖⍵ ⍵≥⍺⊖⍵ (⍺↓⍵)<(-⍺)↓⍵ (⍺↓⍵)≥(-⍺)↓⍵ (⍳⍺)⍸⍵ (a+⍳⍺)⍸⍵ (a+b×⍳⍺)⍸⍵ (b×a+⍳⍺)⍸⍵
⍺,⍨1↓⍵ ⍺,¯1↓⍵ a↑b⊖⍺⍪⍵ l⊖⍺⍪⍵ l⌽⍺,⍵ n↑○⍵ ⍵≤⍺⌽⍵ ⍵>⍺⌽⍵ ⍵≤⍺⊖⍵ ⍵>⍺⊖⍵ (⍺↓⍵)≤(-⍺)↓⍵ (⍺↓⍵)>(-⍺)↓⍵ ⍺∊⍳⍵ ⍺∊a+⍳⍵ ⍺∊a+b×⍳⍵ ⍺∊b×a+⍳⍵
(n↓⍺),⍵ ⍺,n↑⍵ (a↓⍺),(b↑⍵) l↑⍺⍪⍵ l↑⍺,⍵ n↓-⍵ ⍵+⍺⌽⍵ ⍵-⍺⌽⍵ ⍵+⍺⊖⍵ ⍵-⍺⊖⍵ (⍺↓⍵)+(-⍺)↓⍵ (⍺↓⍵)-(-⍺)↓⍵ ⍺∩⍳⍵ ⍺∩a+⍳⍵ ⍺∩a+b×⍳⍵ ⍺∩b×a+⍳⍵
(n↓⍺)⍪⍵ ⍺⍪n↑⍵ (a↓⍺)⍪(b↑⍵) l↓⍺⍪⍵ l↓⍺,⍵ n↓÷⍵ ⍵×⍺⌽⍵ ⍵÷⍺⌽⍵ ⍵×⍺⊖⍵ ⍵÷⍺⊖⍵ (⍺↓⍵)×(-⍺)↓⍵ (⍺↓⍵)÷(-⍺)↓⍵ ⍺[⍳⍵ ] ⍺[a+⍳⍵ ] ⍺[a+b×⍳⍵ ] ⍺[b×a+⍳⍵ ]
b↑a↓⍵ a↓b↑⍵ a↑b⌽⍵ ⍵[a+⍳b] ⌽⍺↑⍵ ⌽⍺+⍳⍵ n↓○⍵ ⍵⌈⍺⌽⍵ ⍵⌊⍺⌽⍵ ⍵⌈⍺⊖⍵ ⍵⌊⍺⊖⍵ (⍺↓⍵)⌈(-⍺)↓⍵ (⍺↓⍵)⌊(-⍺)↓⍵ ⍺[⍳⍵;] ⍺[a+⍳⍵;] ⍺[a+b×⍳⍵;] ⍺[b×a+⍳⍵;]
↑⍳⍵ ↑⍸⍵ ⍺⌈⍳⍵ ⍺⌊⍳⍵ (⍺/b)/⍵ (⍺/b)⌿⍵ ∘.=⍨⍳⍵ ∘.<⍨⍳⍵ ∘.≤⍨⍳⍵ ∧/,⍵ ∨/,⍵ ∧⌿,⍵ ∨⌿,⍵ ∧/⍪⍵ ∨/⍪⍵ ⍺[;⍳⍵] ⍺[;a+⍳⍵] ⍺[;a+b×⍳⍵] ⍺[;b×a+⍳⍵]
⍺/⍳⍵ ⍺⌿⍳⍵ ⍺/[a]⍳⍵ ⍺/,⍳⍵ ⍺/a+⍳⍵ ∘.≠⍨⍳⍵ ∘.≥⍨⍳⍵ ∘.>⍨⍳⍵ +/,⍵ ×/,⍵ +⌿,⍵ ×⌿,⍵ +/⍪⍵ ×/⍪⍵ (⍳⍺)⊃⍵ (a+⍳⍺)⊃⍵ (a+b×⍳⍺)⊃⍵ (b×a+⍳⍺)⊃⍵
+/⍳⍵ +/⍺+⍳⍵ -/⍳⍵ ⌈/⍳⍵ ⌊/⍳⍵ +/⍺+⍳⍵ +/×⍨⍳⍵ +/(⍳⍵)*3 ⌈/,⍵ ⌊/,⍵ ⌈⌿,⍵ ⌊⌿,⍵ ⌈/⍪⍵ ⌊/⍪⍵ (⊂⍳⍺)⌷⍵ (⊂a+⍳⍺)⌷⍵ (⊂a+b×⍳⍺)⌷⍵ (⊂b×a+⍳⍺)⌷⍵
∧/⍺,⍵ ∨/⍺,⍵ ⍺∊a,b (a⍪b)⍳⍵ (⊖a⍪b)⍳⍵ (a⍪b)⍸⍵ ∊∧\¨⍺⊂⍵ ∊∨\¨⍺⊂⍵ ,/∧\¨⍺⊂⍵ ,/∨\¨⍺⊂⍵ ∧/¨⍺⊂⍵ ∨/¨⍺⊂⍵ ≢¨⍺⊂⍵ ⍳⍵ a+⍳⍵ a+b×⍳⍵ b×a+⍳⍵
+/⍺,⍵ ×/⍺,⍵ ⌈/⍺,⍵ ⌊/⍺,⍵ ⍉⍺,⍵ +/⍺/⍵ +⌿⍺⌿⍵ ∊+\¨⍺⊂⍵ ∊-\¨⍺⊂⍵ ,/+\¨⍺⊂⍵ ,/-\¨⍺⊂⍵ +/¨⍺⊂⍵ -/¨⍺⊂⍵ ⍴¨⍺⊂⍵ ⌽⍳⍵ ⌽a+⍳⍵ ⌽a+b×⍳⍵ ⌽b×a+⍳⍵
+⌿⍺⍪⍵ ×⌿⍺⍪⍵ ⌈⌿⍺⍪⍵ ⌊⌿⍺⍪⍵ ⍉⍪⍵ +/⍺×⍵ +/⍺∘.×⍵ ∊⌈\¨⍺⊂⍵ ∊⌊\¨⍺⊂⍵ ,/⌈\¨⍺⊂⍵ ,/⌊\¨⍺⊂⍵ ⌈/¨⍺⊂⍵ ⌊/¨⍺⊂⍵ ⌽¨⍺⊂⍵ ⊖⍳⍵ ⊖a+⍳⍵ ⊖a+b×⍳⍵ ⊖b×a+⍳⍵
(l↓⍺)⍳⍵ (l↑⍺)⍳⍵ ⍺∊l↓⍵ ⍺∊l↑⍵ +⌿⍺×⍵ +⌿⍺∘.×⍵ +⌿⍺×⍤¯1⊢⍵ +⌿⍺×[⎕IO]⍵ ∧/⍺∘.<⍵ ∧/⍺∘.≥⍵ ∨/⍺∘.<⍵ ∨/⍺∘.≥⍵ -⍳⍵ -a+⍳⍵ -a+b×⍳⍵ -b×a+⍳⍵
⍉⍺⊤⍵ ⍺⊥⍉⍵ t⍉⍺⊤⍵ ⍺⊥t⍉⍵ ⍺⊥a⍪b ⍺⊥⍉a,b ⊥⍨⌽⍵ ⍵[;⌽⍺] (⌽⍵)[;⍺] ∧/⍺∘.≤⍵ ∧/⍺∘.>⍵ ∨/⍺∘.≤⍵ ∨/⍺∘.>⍵ n-⍳⍵ n-a+⍳⍵ n-a+b×⍳⍵ n-b×a+⍳⍵
↑⍺⊂⍵ b/⍺⊂⍵ a↑⍺⊂⍵ a↓⍺⊂⍵ i⊃⍺⊂⍵ (⍺⊂⍵)[i] (⊂i)⌷(⍺⊂⍵) ⍵[⌽⍺;] (⌽⍵)[⍺;] ∧/⍺∘.=⍵ ∧/⍺∘.≠⍵ ∨/⍺∘.=⍵ ∨/⍺∘.≠⍵ s⍴⍳⍵ s⍴a+⍳⍵ s⍴a+b×⍳⍵ s⍴b×a+⍳⍵
⍺⊃↓⍵ ⊃↓⍵ ⍺≡¨↓⍵ ⍺≢¨↓⍵ ⍺↑↓⍵ ⍺↓↓⍵ ⍵=⌊⍵ ?⍺⊣¨⍵ ?⍺/⍵ ?⍺⍴⍵ ⍵[⌽⍺] (⌽⍵)[⍺] (⌽⍺)⊃⍵ ∧/⍺<⍵ ∧/⍺≥⍵ ∨/⍺<⍵ ∨/⍺≥⍵ ⌈/⍺<⍵ ⌈/⍺≥⍵ ⌊/⍺<⍵ ⌊/⍺≥⍵ ×/⍺<⍵ ×/⍺≥⍵
⍵×+⍵ ×⍨|⍵ ÷⍵*0.5 (!⍺)×⍺!⍵ ⍺*⍳⍵ ⍵=⌈⍵ ?⍺⊢¨⍵ ?⍺⌿⍵ ?0×⍵ (⊂⌽⍺)⌷⍵ (⊂⍺)⌷⌽⍵ ⍺⊃⌽⍵ ∧/⍺≤⍵ ∧/⍺>⍵ ∨/⍺≤⍵ ∨/⍺>⍵ ⌈/⍺≤⍵ ⌈/⍺>⍵ ⌊/⍺≤⍵ ⌊/⍺>⍵ ×/⍺≤⍵ ×/⍺>⍵
⍺∊⍳⍵ (⍳⍺)∊⍵ (b×⍳n)⍸⍵ (a+b×⍳n)⍸⍵ ⍵[a×⍳n] (⊂⍺×⍳n)⌷⍵ (⊂⊖⍺)⌷⍵ (⊂⍺)⌷⊖⍵ ∧/⍺=⍵ ∧/⍺≠⍵ ∨/⍺=⍵ ∨/⍺≠⍵ ⌈/⍺=⍵ ⌈/⍺≠⍵ ⌊/⍺=⍵ ⌊/⍺≠⍵ ×/⍺=⍵ ×/⍺≠⍵
∨/⍺⍷⍵ 1∊⍺⍷⍵ (⍺⍷⍵)⍳1 +/⍺⍷⍵ ⍸⍺⍷⍵ a↑⍸⍺⍷⍵ (⍺↑x)←⍵ (,⍺↑x)←⍵ ∧\⍺<⍵ ∧\⍺≥⍵ ∨\⍺<⍵ ∨\⍺≥⍵ 0∊⍺<⍵ 0∊⍺≥⍵ 1∊⍺<⍵ 1∊⍺≥⍵ (⍺<⍵)⍳0 (⍺≥⍵)⍳0 (⍺<⍵)⍳1 (⍺≥⍵)⍳1
((⊂⍺)⌷x)←⍵ (⍺/x)←⍵ (⍺⌿x)←⍵ (⍺⊃x)←⍵ (⍺↓x)←⍵ (,⍺↓x)←⍵ ∧\⍺≤⍵ ∧\⍺>⍵ ∨\⍺≤⍵ ∨\⍺>⍵ 0∊⍺≤⍵ 0∊⍺>⍵ 1∊⍺≤⍵ 1∊⍺>⍵ (⍺≤⍵)⍳0 (⍺>⍵)⍳0 (⍺≤⍵)⍳1 (⍺>⍵)⍳1
∨/⍺≡¨⍵ 1∊⍺≡¨⍵ ∨/⍺≡⍤¯1⊢⍵ 1∊⍺≡⍤¯1⊢⍵ o+⍺⍳⍵ o+⍋⍵ ∧\⍺=⍵ ∧\⍺≠⍵ ∨\⍺=⍵ ∨\⍺≠⍵ 0∊⍺=⍵ 0∊⍺≠⍵ 1∊⍺=⍵ 1∊⍺≠⍵ (⍺=⍵)⍳0 (⍺≠⍵)⍳0 (⍺=⍵)⍳1 (⍺≠⍵)⍳1
∧/⍺≢¨⍵ (⍺≡¨⍵)⍳1 ∧/⍺≢⍤¯1⊢⍵ (⍺≡⍤¯1⊢⍵)⍳1 o+⍺⍸⍵ o+⍒⍵ (,⍺<⍵)⍳0 (,⍺≥⍵)⍳0 (,⍺<⍵)⍳1 (,⍺≥⍵)⍳1 +/∧\⍺<⍵ +/∧\⍺≥⍵ +/∨\⍺<⍵ +/∨\⍺≥⍵
+/2|⍵ ∧/2|⍵ ∨/2|⍵ ≠/2|⍵ 1∊2|⍵ 0∊2|⍵ (2|⍵)⍳1 (2|⍵)⍳0 0=(2*n)|⍵ (,⍺≤⍵)⍳0 (,⍺>⍵)⍳0 (,⍺≤⍵)⍳1 (,⍺>⍵)⍳1 +/∧\⍺≤⍵ +/∧\⍺>⍵ +/∨\⍺≤⍵ +/∨\⍺>⍵
⍉⍺∘.f⍵ t⍉⍺∘.f⍵ (⍉⍺)∘.f⍵ f/⌽⍵ f/⍺,⍵ f⌿↑⍵ f⍨/⌽⍵ f⍨⌿⊖⍵ f¨↓⍵ f¨⍺⊂⍵ (,⍺=⍵)⍳0 (,⍺≠⍵)⍳0 (,⍺=⍵)⍳1 (,⍺≠⍵)⍳1 +/∧\⍺=⍵ +/∧\⍺≠⍵ +/∨\⍺=⍵ +/∨\⍺≠⍵