Agda Lemma Search - Multi-codebase

Greek Letters

Γ Δ Σ Ψ Ω ε λ σ τ

Logic & Quantifiers

∀ ∃ ⊢ ⊣ ⊥ ⊨ ¬

Arrows

← ↑ → ↝ ↡ ↪ ↬ ⇌ ⇒ ⇘ ⟶ ⟹ ⟾

Set Theory

∈ ∋ ⊆ ⊎ ⊑

Equality & Relations

≊ ≋ ≡ ≢ ≤ ≫ ≰

Math Operators

× ∙ ∞ ∣ ∤ ⋆ ⋈ ⨟

Brackets & Delimiters

⟦ ⟧ ⟨ ⟩ ⌝ ⌞ ⦂

Subscripts

₀ ₁ ₂ ₃ ₄ ₅ ₊ ₖ

Superscripts

² ⁺ ⁻ ʲ ˣ ᵉ ᵍ ᶜ

Math Sets & Types

ℕ ⅆ 𝕄 𝕔 𝕗 𝕚 𝕛 𝕣 𝕧

Symbols & Shapes

□ ▶ ◀ ◆ ◇ ◈ ◎ ✫ ⓪ ‶

Loading lemma indices...