changed 3 years ago
Linked with GitHub

Agda symbols cheatsheet

Common

∀ : \forall, \all
→ : \to, \r, \->
λ : \Gl
⊢ : \|-
⊤ : \top
⊥ : \bot

  • Greek letters : \G[a-zA-Z]
    • α : \Ga
    • β : \Gb
    • γ : \Gg
    • K
    • Δ : \GD
    • Γ : \GG
    • Ξ : \GX

DTP 0

ℕ : \bN
∷ : \::
∧ : \and, \wedge
∨ : \or, \vee
≤ : \<=, \le
⊤ : \top
⊥ : \bot
¬ : \neg
∈ : \in
∉ : \inn, \notin

LOGIC

× : \x
⊎ : \u+
Σ : \Sigma
Π : \Pi
↔ : \<->
∃ : \ex, \exists
≡ : \==
≢ : \==n
⟨ : \<
⟩ : \>
∎ : \qed
⇒ : \=> , \r=
ℙ : \bP
∅ : \0
∋ : \ni
⟦ : \[[
⟧ : \]]
⊧ : \|=
ᴬ : \^A

STLC

ƛ : \Gl-
→̇ : \->, \^.
· : \cdot
↠ : \rr-
ᵒ : \^o

Razor

∘ (function composition): \o
∔ : \.+
▷ : \rhd
⁺ : \^+

Others

∸ : \.-
′ : \'
″ : \'
‴ : \'
⁗ : \'
≥ : \>=, \ge
ˡ : \^l
ʳ : \^r
≐ : \.=
⊔ : \lub
₀ : \_0
₁ : \_1
₂ : \_2
∘ : \o, \circ, \comp
≃ : \~-
≲ : \<~
⇔ : \<=>
η : \eta
₁ : \_1
₂ : \_2
⊃ : \sup
ᵇ : \^b
⌊ : \cll
⌋ : \clr
⊗ : \otimes, \ox

Select a repo