Copyright | (c) Justus Sagemüller 2017 |
---|---|
License | GPL v3 |
Maintainer | (@) jsagemue $ uni-koeln.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
This module contains a collection of symbols that should be sufficient for usage in most algebra applications. It avoids polluting the namespace with single-letter variables (which are often used as local variables, leading to shadowing issues), by replacing also the Latin letters with less common Unicode symbols. If you're not concerned with this and prefer symbols that can directly be entered on any Western keyboard, use the CAS.Dumb.Symbols.ASCII module instead.
- module CAS.Dumb.Symbols
- type Symbol = SymbolD Unicode_MathLatin_RomanGreek__BopomofoGaps
- type Expression c = Expression' Void (Infix c) (Encapsulation c) c
- type Pattern c = Expression' GapId (Infix c) (Encapsulation c) c
- 𝑎 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑏 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑐 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑑 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑒 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑓 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑔 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ℎ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑖 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑗 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑘 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑙 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑚 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑛 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑝 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑞 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑟 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑠 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑡 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑢 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑣 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑤 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑥 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑦 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝑧 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐚 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐛 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐝 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐞 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐟 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐠 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐡 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐢 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐣 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐤 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐥 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐦 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐧 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐨 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐩 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐪 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐫 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐬 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐭 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐮 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐯 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐰 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐱 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐲 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- 𝐳 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- α :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- β :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- γ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- δ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ε :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ζ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- η :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- θ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ϑ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ι :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- κ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- λ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- μ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ν :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ξ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ο :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- π :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ρ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ϱ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- σ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ς :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- τ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- υ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ϕ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- φ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- χ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ψ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- ω :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- pattern 𝐴 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐵 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐶 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐷 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐸 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐹 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐺 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐻 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐼 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐽 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐾 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐿 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑀 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑁 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑂 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑃 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑅 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑆 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑇 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑈 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑉 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑋 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑌 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝑍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐀 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐁 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐂 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐃 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐅 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐆 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐇 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐈 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐉 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐋 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐌 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐎 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐏 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐑 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐒 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐓 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐔 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐕 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐖 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐗 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐘 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝐙 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℂ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℍ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℕ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℚ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℝ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℤ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔸 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔹 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔻 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔼 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔽 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔾 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕀 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕁 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕂 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕃 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕆 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕋 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕌 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕎 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕏 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝕐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒜 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℬ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒞 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒟 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℰ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℱ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒢 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℋ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℐ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒥 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒦 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℒ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℳ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒩 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒪 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒫 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒬 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℛ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒮 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒯 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒰 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒱 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒲 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒳 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒴 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝒵 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓑 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓒 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓓 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓔 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓕 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓖 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓗 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓘 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓙 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓚 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓛 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓜 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓝 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓞 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓟 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓠 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓡 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓢 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓣 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓤 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓥 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓦 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓧 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓨 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝓩 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔅 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℭ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔇 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔈 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔉 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℌ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℑ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔎 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔏 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔑 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔒 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔓 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔔 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern ℜ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔖 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔗 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔘 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔙 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔚 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔛 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern 𝔜 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Γ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Δ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Θ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Λ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Ξ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Π :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Σ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Υ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Φ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Ψ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Ω :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Α :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Β :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Ε :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Ζ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Η :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Ι :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Κ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Μ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Ν :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Ο :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Ρ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Τ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- pattern Χ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ
- ㄅ :: CAS' GapId s² s¹ s⁰
- ㄆ :: CAS' GapId s² s¹ s⁰
- ㄇ :: CAS' GapId s² s¹ s⁰
- ㄈ :: CAS' GapId s² s¹ s⁰
- ㄉ :: CAS' GapId s² s¹ s⁰
- ㄊ :: CAS' GapId s² s¹ s⁰
- ㄋ :: CAS' GapId s² s¹ s⁰
- ㄌ :: CAS' GapId s² s¹ s⁰
- ㄍ :: CAS' GapId s² s¹ s⁰
- ㄎ :: CAS' GapId s² s¹ s⁰
- ㄏ :: CAS' GapId s² s¹ s⁰
- ㄐ :: CAS' GapId s² s¹ s⁰
- ㄑ :: CAS' GapId s² s¹ s⁰
- ㄒ :: CAS' GapId s² s¹ s⁰
- ㄓ :: CAS' GapId s² s¹ s⁰
- ㄔ :: CAS' GapId s² s¹ s⁰
- ㄕ :: CAS' GapId s² s¹ s⁰
- ㄖ :: CAS' GapId s² s¹ s⁰
- ㄗ :: CAS' GapId s² s¹ s⁰
- ㄘ :: CAS' GapId s² s¹ s⁰
- ㄙ :: CAS' GapId s² s¹ s⁰
- ㄚ :: CAS' GapId s² s¹ s⁰
- ㄛ :: CAS' GapId s² s¹ s⁰
- ㄜ :: CAS' GapId s² s¹ s⁰
- ㄝ :: CAS' GapId s² s¹ s⁰
- ㄞ :: CAS' GapId s² s¹ s⁰
- ㄟ :: CAS' GapId s² s¹ s⁰
- ㄠ :: CAS' GapId s² s¹ s⁰
- ㄡ :: CAS' GapId s² s¹ s⁰
- ㄢ :: CAS' GapId s² s¹ s⁰
- ㄣ :: CAS' GapId s² s¹ s⁰
- ㄤ :: CAS' GapId s² s¹ s⁰
- ㄥ :: CAS' GapId s² s¹ s⁰
- ㄦ :: CAS' GapId s² s¹ s⁰
- ㄧ :: CAS' GapId s² s¹ s⁰
- ㄨ :: CAS' GapId s² s¹ s⁰
- ㄩ :: CAS' GapId s² s¹ s⁰
- ㄪ :: CAS' GapId s² s¹ s⁰
- ㄫ :: CAS' GapId s² s¹ s⁰
- ㄬ :: CAS' GapId s² s¹ s⁰
- type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c)
Documentation
module CAS.Dumb.Symbols
type Expression c = Expression' Void (Infix c) (Encapsulation c) c Source #
type Pattern c = Expression' GapId (Infix c) (Encapsulation c) c Source #
“Constant variable” symbols
Lowercase letters
Unicode mathematical italic letters. Italic is the default way maths symbols appear in e.g. LaTeX-rendered documents, thus it makes sense to use them here.
𝑎 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑏 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑐 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑑 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑒 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑓 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑔 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ℎ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑖 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑗 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑘 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑙 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑚 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑛 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑝 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑞 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑟 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑠 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑡 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑢 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑣 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑤 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑥 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑦 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝑧 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
Bold
𝐚 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐛 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐝 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐞 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐟 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐠 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐡 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐢 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐣 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐤 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐥 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐦 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐧 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐨 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐩 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐪 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐫 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐬 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐭 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐮 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐯 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐰 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐱 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐲 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
𝐳 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
Greek
α :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
β :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
γ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
δ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ε :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ζ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
η :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
θ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ϑ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ι :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
κ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
λ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
μ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ν :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ξ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ο :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
π :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ρ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ϱ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
σ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ς :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
τ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
υ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ϕ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
φ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
χ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ψ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
ω :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
Uppercase letters
These are only available in GHC>8.2. The ability to use uppercase letters as variables hinges on a hack using GHC's still recent pattern synonyms feature.
Italic
pattern 𝐴 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐵 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐶 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐷 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐸 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐹 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐺 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐻 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐼 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐽 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐾 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐿 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑀 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑁 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑂 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑃 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑅 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑆 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑇 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑈 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑉 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑋 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑌 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝑍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
Bold
pattern 𝐀 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐁 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐂 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐃 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐅 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐆 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐇 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐈 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐉 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐋 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐌 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐎 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐏 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐑 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐒 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐓 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐔 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐕 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐖 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐗 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐘 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝐙 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
Blackboard (LaTeX subset)
pattern ℂ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℍ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℕ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℚ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℝ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℤ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
Blackboard (nonstandard)
pattern 𝔸 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔹 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔻 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔼 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔽 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔾 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕀 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕁 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕂 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕃 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕆 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕋 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕌 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕎 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕏 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝕐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
Script
pattern 𝒜 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℬ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒞 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒟 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℰ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℱ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒢 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℋ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℐ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒥 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒦 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℒ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℳ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒩 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒪 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒫 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒬 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℛ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒮 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒯 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒰 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒱 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒲 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒳 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒴 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝒵 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
Calligraphic / bold-script
pattern 𝓐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓑 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓒 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓓 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓔 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓕 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓖 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓗 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓘 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓙 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓚 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓛 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓜 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓝 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓞 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓟 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓠 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓡 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓢 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓣 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓤 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓥 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓦 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓧 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓨 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝓩 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
Fraktur
pattern 𝔄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔅 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℭ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔇 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔈 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔉 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℌ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℑ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔎 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔏 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔑 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔒 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔓 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔔 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern ℜ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔖 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔗 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔘 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔙 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔚 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔛 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern 𝔜 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
Greek (LaTeX subset)
These are the uppercase greek letters that don't have latin lookalikes. Only these are supported in LaTeX, so for doing maths it's probably best to stick to this subset.
pattern Γ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Δ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Θ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Λ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Ξ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Π :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Σ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Υ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Φ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Ψ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Ω :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
Greek (Latin-lookalike)
pattern Α :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Β :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Ε :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Ζ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Η :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Ι :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Κ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Μ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Ν :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Ο :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Ρ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Τ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
pattern Χ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ Source #
Pattern-matching variable symbols
Using a non-European alphabet such as Bopomofo for Gap
s (which are always only
temporary placeholders that, unlike Symbol
s, should never appear in any program
output) has the advantage of keeping the namespace clean and avoiding ambiguities.
Most of these symbols can easily be entered as
Vim digraphs,
namely by combining a (latin) letter with the number 4. For instance, ctrl-k e 4
generates the symbol ㄜ U+311C BOPOMOFO LETTER E
.
Auxiliary
type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c) Source #