⌬⟟⎅ ∷ ⟊⍜⌁
- 2–5 ⌁⋔
- 52 ⌬
- ∅ ⌖
⌁⟊⟟ ∷ 60 ⌁
- 1
9 ⟢
3 ▧ · 3 ▣↑ · 3 ⌑ ∷ 1 ⌑ ⇄ 1 ▣
- 2
⟰
1+ ≋ ∷ ⟰ ∨ ≋⊕
- 3
1 ⌿ / ⟳
⟳¹ ✓ ⇢ ⌿1 ⇔ ◇⌿ ∧ ⌑<3
- 4
⌬⇢⌑
⊘✓ ∨ ◇ ∷ ⌬⇢⌑ · ⟳∎
- 5
⊗⌬ · ⟳⁺
∀⊗⌬ ⇢ ⟳⁺ · ★ ⇢ ∅⟳⁺
- 6
∅⌑ ★
⌑⇢∅ · ▣⇢∅ · ▧?⇢∅ · ★⇢⊕⌖
4 → 4 4 → 44≋ ⇢ ⊗⌬
⍙⌖
2 · 7 ⇢ ⌬ · 3 · 10 ⇢ ∅
2⟲
✓ ⇢ ∀ · ⊘[3⇢⌬] · ⟳⁺ ⇢ ∀≋
2 ⇢ ⌬ · 2 ⇢ 2 ∷ ≋⊕ ∨ 4≋3⇢⌬
✓ ⇢ ∀ · ⌬≠∅ ⇢ ⟳⁺ : ⌬⇢⌑ ∨ 1+×3
∀3 ⇢ ∅ ↯ · 3 ∉ ⌬⇢⌑ · 3—3 ⋮ ⇢ ⊘3 ∨ ⌬⇢⌑ ∨ ⊗⌬ · 4×3 ⇢ ⊗⌬ · 3⇢∅⌬ ⇢ ∅⌬⇢⌑7≤7
✓ ⇢ ∀ · ⊘[3⇢⌬] · ⟳⁺ ⇢ ≤7
10 ⊘ 7 · 7⁺ ⇢ ≤7⁺ · 4×7 ⇢ ⊗⌬10⊗⌬
✓ ⇢ ∀ · ⊘7 · ⊘[3⇢⌬] · ↯⊗⌬
10 ⇢ ∅ · ⟳⁺ ⇢ ∅⌬1 ⟳
+
Ⅰ · ⌬⌬
52 ⌬ · ⊘⌖ · ♠♥♦♣=∅ · 1↑=⟰ · ⍙>≋
- ∀⌁⋔ ⇢ 3 ▧ · ⊘◉
- 3 ▣ ⇢ ↑3 ▧
- ∀⌁⋔ ⇢ 3 ⌑ · ◇ ⇢ ▧⌿
- ∀⌁⋔ ⇢ ◇ 1 ⌑ ⇄ 1 ▣
- ⚙ ⇢ ↻ · ⚙⇢⟳¹ · ★⁻⇢⟳⁺
Ⅱ · ⟳
⟳↻ · ∅⌬ ⇢ 1+≋ ∀ · ⌬≠∅ ⇢ ✓ ∨ ◇⌬⇢⌑ · ⌬⇢⌑ ⇢ ⟳∎
⟳¹✓ ⇢ ⌿1 ⇔ ◇⌿ ∧ ⌑<3 · 1+⌬ ⇢ ⌿1 · ⌑≥3 ⇢ ∅⌿
⊗⌬ ⇢ ⟳⁺ ≠ ⟳ · ⟳⁺ ⇢ ∅⌿ · ⊗⌬ⁿ ⇢ ⟳⁺ⁿ
Ⅲ · ⊗⌬
⊗⌬ ⇢ ⌬∅ · [3⇢⌬]∅ · [7≤]∅ · ⟳⁺↯
⊗⌬ ⇔ 10✓ ∨ 4≋ ∨ 4×3— ∨ 4×7 ∨ ⊕⌖✓
⊗⌬ ⇢ ∉⟳ · ⊕⌖◇⇢↩ · ⊕⌖⊘[−⊗⌬] · ⊕⌖⊘[−⟳⁺]
Ⅳ · ▣ ⇢ ▧?
⌿◇⇢∎ · ⌑=∅ ⇢ 3▣⇢⌑ ↯ · ⟳⁺✓
⌑=∅ ⇢ 1▧? ⇢ ◉∀ · ✓⇢⌬ · ⊘✓⇢⌬⇢⌑ · ⟳∎
[3⇢⌬] ⇢ ▧?=3 ✓ · ▧?≠3 ⇢ ⌬⇢⌑
Ⅴ · ★
▧?⁻ ✓⇢⌬ ⇢ ★↯ · 3⇢⌬ ✓ · 7≤ ✓
▧?⁻ ⇢ ⊗⌬ ⇢ ★ ∧ ∅⟳⁺ · ⟳⁺⌁⋔ ⇢ ∅⌬ · ★¹ ⇢ ⊕⌖
⌖⎅
- 3 ⇢ ∅⌬ ?
- 3 ⇢ ∅ · ⌬=∅ ⇢ ∅⌬⇢⌑ · ∅⟳∎ · ⟳⁺✓
- 1≋ ⇢ 3≋ ?
- ✓ · 4≋ ⇢ ✓ ∧ ⊗⌬
- 4×8 ⇢ 7 ?
- ⊘ · ≋✓⁻ · 4×6 ✓ · 4×8 ⊘
- 3+ ⇢ ⟳+ ?
- ⊘ · 1⟢[1+×3] ⇢ 1×[3⇢⌬] · ∀3 ⇢ 4×3
- ⊕⌖⁻ · ⊕⌖★∅ · ⟁?
- ⊕⌖★ ✓ · ∅ ⇢ ☑✓ · ☑= ⇢ △⊕⌖<
★ ⇢ 1⊕⌖
+
- ⊕⌖ ⇢ ⟢⏱⊕⌖∀ ⇢ ⟢ ⇔ ⟢9∎⁺ · ⇢ ∀⌁
- ⊕ · ⊘−⊕⌖ ⇢ ⊕[⟸∨⟹]⟁ · ⊘⟁
- ⌁⟊⟟ ✓⊘[−★ ∨ −☑ ∨ ∞⟳ ∨ ↶ ∨ ⚠ ∨ ⚖⊘ ∨ ≠ ∨ ⊗ ∨ ⊘♡]
- ◇ ⇢ ≠⌁⋔⟳⌁ · △◇ · ⊙✓ · ⌁⋔⌁ · ⌁⋔≋ · ⊘
- ⊕⌖★ ⇢ ⟁?⊕⌖★ ⇢ ⟁? · ⊘ ⊕⌖△△ / ⟳∎
☑ ⊕⌖
9⟢⇢ · 1☑ / ⟳ · ☑ ⇢ −⊕⌖ ∨ △⊕⌖ ∨ △⟁/⌁ · ∀⌁⋔ ☑ · ☑✓ ⇔ ✓ > ½∀⌁⋔
- ★⊕⌖ ⇢ ∅−☑
- ⊕⌖★ ⇢ −⊕⌖ ◇ ∅☑ · △⊕⌖ ⇢ ☑ · −⊕⌖ ⇢ ∅⊕⁺
- ☑⊘ ∨ ☑= ⇢ −1☑
- ☑⁻ ⇢ △↯ ∨ △⟳⁺ · ⊘↶⌬✓ · ⊕⌖… ◇⇢∎
- −⊕⌖ ⇢ ⊘↩ / ⌁ · ↩ ⇔ ☑⁺
- ☑ + ●▱✂ ⇢ ⊘△
☑= ⇢ ●▱✂
△⌁⋔ ⇄ ⊕⌖★ · ⊕⌖★∅ ⇢ ⊕⌖✓⌁⋔ · ⊕⌖✓∅ ⇢ △✓ · △⟁ ⇢ △★ ⇄ ⊘△¹
30×[●▱✂]✓ · =∅ · 15–15 ⇢ 1×✓★ · ⊘★? ⇢ ⌁⋔—⌁⋔ / 1×✓
⌁⁺ ⇢ ∅⊕⌖
⌁ = ⌁⋔☑⏱ · ⊕⌖⁻ ⇢ ↩ ⇔ ☑✓ / ⌬⌬ · ☑⁻ ∅−☑¹ · ⊕⌖★∅ ∧ ⟁? ⇢ ☑✓ · ☑= ⇢ △⊕⌖<