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 𝐴 :: Expression' γ s² s¹ ζ
- pattern 𝐵 :: Expression' γ s² s¹ ζ
- pattern 𝐶 :: Expression' γ s² s¹ ζ
- pattern 𝐷 :: Expression' γ s² s¹ ζ
- pattern 𝐸 :: Expression' γ s² s¹ ζ
- pattern 𝐹 :: Expression' γ s² s¹ ζ
- pattern 𝐺 :: Expression' γ s² s¹ ζ
- pattern 𝐻 :: Expression' γ s² s¹ ζ
- pattern 𝐼 :: Expression' γ s² s¹ ζ
- pattern 𝐽 :: Expression' γ s² s¹ ζ
- pattern 𝐾 :: Expression' γ s² s¹ ζ
- pattern 𝐿 :: Expression' γ s² s¹ ζ
- pattern 𝑀 :: Expression' γ s² s¹ ζ
- pattern 𝑁 :: Expression' γ s² s¹ ζ
- pattern 𝑂 :: Expression' γ s² s¹ ζ
- pattern 𝑃 :: Expression' γ s² s¹ ζ
- pattern 𝑄 :: Expression' γ s² s¹ ζ
- pattern 𝑅 :: Expression' γ s² s¹ ζ
- pattern 𝑆 :: Expression' γ s² s¹ ζ
- pattern 𝑇 :: Expression' γ s² s¹ ζ
- pattern 𝑈 :: Expression' γ s² s¹ ζ
- pattern 𝑉 :: Expression' γ s² s¹ ζ
- pattern 𝑊 :: Expression' γ s² s¹ ζ
- pattern 𝑋 :: Expression' γ s² s¹ ζ
- pattern 𝑌 :: Expression' γ s² s¹ ζ
- pattern 𝑍 :: Expression' γ s² s¹ ζ
- pattern 𝐀 :: Expression' γ s² s¹ ζ
- pattern 𝐁 :: Expression' γ s² s¹ ζ
- pattern 𝐂 :: Expression' γ s² s¹ ζ
- pattern 𝐃 :: Expression' γ s² s¹ ζ
- pattern 𝐄 :: Expression' γ s² s¹ ζ
- pattern 𝐅 :: Expression' γ s² s¹ ζ
- pattern 𝐆 :: Expression' γ s² s¹ ζ
- pattern 𝐇 :: Expression' γ s² s¹ ζ
- pattern 𝐈 :: Expression' γ s² s¹ ζ
- pattern 𝐉 :: Expression' γ s² s¹ ζ
- pattern 𝐊 :: Expression' γ s² s¹ ζ
- pattern 𝐋 :: Expression' γ s² s¹ ζ
- pattern 𝐌 :: Expression' γ s² s¹ ζ
- pattern 𝐍 :: Expression' γ s² s¹ ζ
- pattern 𝐎 :: Expression' γ s² s¹ ζ
- pattern 𝐏 :: Expression' γ s² s¹ ζ
- pattern 𝐐 :: Expression' γ s² s¹ ζ
- pattern 𝐑 :: Expression' γ s² s¹ ζ
- pattern 𝐒 :: Expression' γ s² s¹ ζ
- pattern 𝐓 :: Expression' γ s² s¹ ζ
- pattern 𝐔 :: Expression' γ s² s¹ ζ
- pattern 𝐕 :: Expression' γ s² s¹ ζ
- pattern 𝐖 :: Expression' γ s² s¹ ζ
- pattern 𝐗 :: Expression' γ s² s¹ ζ
- pattern 𝐘 :: Expression' γ s² s¹ ζ
- pattern 𝐙 :: Expression' γ s² s¹ ζ
- pattern ℂ :: Expression' γ s² s¹ ζ
- pattern ℍ :: Expression' γ s² s¹ ζ
- pattern ℕ :: Expression' γ s² s¹ ζ
- pattern ℚ :: Expression' γ s² s¹ ζ
- pattern ℝ :: Expression' γ s² s¹ ζ
- pattern ℤ :: Expression' γ s² s¹ ζ
- pattern 𝔸 :: Expression' γ s² s¹ ζ
- pattern 𝔹 :: Expression' γ s² s¹ ζ
- pattern 𝔻 :: Expression' γ s² s¹ ζ
- pattern 𝔼 :: Expression' γ s² s¹ ζ
- pattern 𝔽 :: Expression' γ s² s¹ ζ
- pattern 𝔾 :: Expression' γ s² s¹ ζ
- pattern 𝕀 :: Expression' γ s² s¹ ζ
- pattern 𝕁 :: Expression' γ s² s¹ ζ
- pattern 𝕂 :: Expression' γ s² s¹ ζ
- pattern 𝕃 :: Expression' γ s² s¹ ζ
- pattern 𝕄 :: Expression' γ s² s¹ ζ
- pattern 𝕆 :: Expression' γ s² s¹ ζ
- pattern 𝕊 :: Expression' γ s² s¹ ζ
- pattern 𝕋 :: Expression' γ s² s¹ ζ
- pattern 𝕌 :: Expression' γ s² s¹ ζ
- pattern 𝕍 :: Expression' γ s² s¹ ζ
- pattern 𝕎 :: Expression' γ s² s¹ ζ
- pattern 𝕏 :: Expression' γ s² s¹ ζ
- pattern 𝕐 :: Expression' γ s² s¹ ζ
- pattern 𝒜 :: Expression' γ s² s¹ ζ
- pattern ℬ :: Expression' γ s² s¹ ζ
- pattern 𝒞 :: Expression' γ s² s¹ ζ
- pattern 𝒟 :: Expression' γ s² s¹ ζ
- pattern ℰ :: Expression' γ s² s¹ ζ
- pattern ℱ :: Expression' γ s² s¹ ζ
- pattern 𝒢 :: Expression' γ s² s¹ ζ
- pattern ℋ :: Expression' γ s² s¹ ζ
- pattern ℐ :: Expression' γ s² s¹ ζ
- pattern 𝒥 :: Expression' γ s² s¹ ζ
- pattern 𝒦 :: Expression' γ s² s¹ ζ
- pattern ℒ :: Expression' γ s² s¹ ζ
- pattern ℳ :: Expression' γ s² s¹ ζ
- pattern 𝒩 :: Expression' γ s² s¹ ζ
- pattern 𝒪 :: Expression' γ s² s¹ ζ
- pattern 𝒫 :: Expression' γ s² s¹ ζ
- pattern 𝒬 :: Expression' γ s² s¹ ζ
- pattern ℛ :: Expression' γ s² s¹ ζ
- pattern 𝒮 :: Expression' γ s² s¹ ζ
- pattern 𝒯 :: Expression' γ s² s¹ ζ
- pattern 𝒰 :: Expression' γ s² s¹ ζ
- pattern 𝒱 :: Expression' γ s² s¹ ζ
- pattern 𝒲 :: Expression' γ s² s¹ ζ
- pattern 𝒳 :: Expression' γ s² s¹ ζ
- pattern 𝒴 :: Expression' γ s² s¹ ζ
- pattern 𝒵 :: Expression' γ s² s¹ ζ
- pattern 𝓐 :: Expression' γ s² s¹ ζ
- pattern 𝓑 :: Expression' γ s² s¹ ζ
- pattern 𝓒 :: Expression' γ s² s¹ ζ
- pattern 𝓓 :: Expression' γ s² s¹ ζ
- pattern 𝓔 :: Expression' γ s² s¹ ζ
- pattern 𝓕 :: Expression' γ s² s¹ ζ
- pattern 𝓖 :: Expression' γ s² s¹ ζ
- pattern 𝓗 :: Expression' γ s² s¹ ζ
- pattern 𝓘 :: Expression' γ s² s¹ ζ
- pattern 𝓙 :: Expression' γ s² s¹ ζ
- pattern 𝓚 :: Expression' γ s² s¹ ζ
- pattern 𝓛 :: Expression' γ s² s¹ ζ
- pattern 𝓜 :: Expression' γ s² s¹ ζ
- pattern 𝓝 :: Expression' γ s² s¹ ζ
- pattern 𝓞 :: Expression' γ s² s¹ ζ
- pattern 𝓟 :: Expression' γ s² s¹ ζ
- pattern 𝓠 :: Expression' γ s² s¹ ζ
- pattern 𝓡 :: Expression' γ s² s¹ ζ
- pattern 𝓢 :: Expression' γ s² s¹ ζ
- pattern 𝓣 :: Expression' γ s² s¹ ζ
- pattern 𝓤 :: Expression' γ s² s¹ ζ
- pattern 𝓥 :: Expression' γ s² s¹ ζ
- pattern 𝓦 :: Expression' γ s² s¹ ζ
- pattern 𝓧 :: Expression' γ s² s¹ ζ
- pattern 𝓨 :: Expression' γ s² s¹ ζ
- pattern 𝓩 :: Expression' γ s² s¹ ζ
- pattern 𝔄 :: Expression' γ s² s¹ ζ
- pattern 𝔅 :: Expression' γ s² s¹ ζ
- pattern ℭ :: Expression' γ s² s¹ ζ
- pattern 𝔇 :: Expression' γ s² s¹ ζ
- pattern 𝔈 :: Expression' γ s² s¹ ζ
- pattern 𝔉 :: Expression' γ s² s¹ ζ
- pattern 𝔊 :: Expression' γ s² s¹ ζ
- pattern ℌ :: Expression' γ s² s¹ ζ
- pattern ℑ :: Expression' γ s² s¹ ζ
- pattern 𝔍 :: Expression' γ s² s¹ ζ
- pattern 𝔎 :: Expression' γ s² s¹ ζ
- pattern 𝔏 :: Expression' γ s² s¹ ζ
- pattern 𝔐 :: Expression' γ s² s¹ ζ
- pattern 𝔑 :: Expression' γ s² s¹ ζ
- pattern 𝔒 :: Expression' γ s² s¹ ζ
- pattern 𝔓 :: Expression' γ s² s¹ ζ
- pattern 𝔔 :: Expression' γ s² s¹ ζ
- pattern ℜ :: Expression' γ s² s¹ ζ
- pattern 𝔖 :: Expression' γ s² s¹ ζ
- pattern 𝔗 :: Expression' γ s² s¹ ζ
- pattern 𝔘 :: Expression' γ s² s¹ ζ
- pattern 𝔙 :: Expression' γ s² s¹ ζ
- pattern 𝔚 :: Expression' γ s² s¹ ζ
- pattern 𝔛 :: Expression' γ s² s¹ ζ
- pattern 𝔜 :: Expression' γ s² s¹ ζ
- pattern Γ :: Expression' γ s² s¹ ζ
- pattern Δ :: Expression' γ s² s¹ ζ
- pattern Θ :: Expression' γ s² s¹ ζ
- pattern Λ :: Expression' γ s² s¹ ζ
- pattern Ξ :: Expression' γ s² s¹ ζ
- pattern Π :: Expression' γ s² s¹ ζ
- pattern Σ :: Expression' γ s² s¹ ζ
- pattern Υ :: Expression' γ s² s¹ ζ
- pattern Φ :: Expression' γ s² s¹ ζ
- pattern Ψ :: Expression' γ s² s¹ ζ
- pattern Ω :: Expression' γ s² s¹ ζ
- pattern Α :: Expression' γ s² s¹ ζ
- pattern Β :: Expression' γ s² s¹ ζ
- pattern Ε :: Expression' γ s² s¹ ζ
- pattern Ζ :: Expression' γ s² s¹ ζ
- pattern Η :: Expression' γ s² s¹ ζ
- pattern Ι :: Expression' γ s² s¹ ζ
- pattern Κ :: Expression' γ s² s¹ ζ
- pattern Μ :: Expression' γ s² s¹ ζ
- pattern Ν :: Expression' γ s² s¹ ζ
- pattern Ο :: Expression' γ s² s¹ ζ
- pattern Ρ :: Expression' γ s² s¹ ζ
- pattern Τ :: Expression' γ s² s¹ ζ
- pattern Χ :: 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.
You can use the CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek.Qualified
module if this causes you any trouble; there, all symbols are prefixed with
sym
and therefore the uppercase ones are still normal lowercase names
in the Haskell code.
Italic
pattern 𝐴 :: Expression' γ s² s¹ ζ Source #
pattern 𝐵 :: Expression' γ s² s¹ ζ Source #
pattern 𝐶 :: Expression' γ s² s¹ ζ Source #
pattern 𝐷 :: Expression' γ s² s¹ ζ Source #
pattern 𝐸 :: Expression' γ s² s¹ ζ Source #
pattern 𝐹 :: Expression' γ s² s¹ ζ Source #
pattern 𝐺 :: Expression' γ s² s¹ ζ Source #
pattern 𝐻 :: Expression' γ s² s¹ ζ Source #
pattern 𝐼 :: Expression' γ s² s¹ ζ Source #
pattern 𝐽 :: Expression' γ s² s¹ ζ Source #
pattern 𝐾 :: Expression' γ s² s¹ ζ Source #
pattern 𝐿 :: Expression' γ s² s¹ ζ Source #
pattern 𝑀 :: Expression' γ s² s¹ ζ Source #
pattern 𝑁 :: Expression' γ s² s¹ ζ Source #
pattern 𝑂 :: Expression' γ s² s¹ ζ Source #
pattern 𝑃 :: Expression' γ s² s¹ ζ Source #
pattern 𝑄 :: Expression' γ s² s¹ ζ Source #
pattern 𝑅 :: Expression' γ s² s¹ ζ Source #
pattern 𝑆 :: Expression' γ s² s¹ ζ Source #
pattern 𝑇 :: Expression' γ s² s¹ ζ Source #
pattern 𝑈 :: Expression' γ s² s¹ ζ Source #
pattern 𝑉 :: Expression' γ s² s¹ ζ Source #
pattern 𝑊 :: Expression' γ s² s¹ ζ Source #
pattern 𝑋 :: Expression' γ s² s¹ ζ Source #
pattern 𝑌 :: Expression' γ s² s¹ ζ Source #
pattern 𝑍 :: Expression' γ s² s¹ ζ Source #
Bold
pattern 𝐀 :: Expression' γ s² s¹ ζ Source #
pattern 𝐁 :: Expression' γ s² s¹ ζ Source #
pattern 𝐂 :: Expression' γ s² s¹ ζ Source #
pattern 𝐃 :: Expression' γ s² s¹ ζ Source #
pattern 𝐄 :: Expression' γ s² s¹ ζ Source #
pattern 𝐅 :: Expression' γ s² s¹ ζ Source #
pattern 𝐆 :: Expression' γ s² s¹ ζ Source #
pattern 𝐇 :: Expression' γ s² s¹ ζ Source #
pattern 𝐈 :: Expression' γ s² s¹ ζ Source #
pattern 𝐉 :: Expression' γ s² s¹ ζ Source #
pattern 𝐊 :: Expression' γ s² s¹ ζ Source #
pattern 𝐋 :: Expression' γ s² s¹ ζ Source #
pattern 𝐌 :: Expression' γ s² s¹ ζ Source #
pattern 𝐍 :: Expression' γ s² s¹ ζ Source #
pattern 𝐎 :: Expression' γ s² s¹ ζ Source #
pattern 𝐏 :: Expression' γ s² s¹ ζ Source #
pattern 𝐐 :: Expression' γ s² s¹ ζ Source #
pattern 𝐑 :: Expression' γ s² s¹ ζ Source #
pattern 𝐒 :: Expression' γ s² s¹ ζ Source #
pattern 𝐓 :: Expression' γ s² s¹ ζ Source #
pattern 𝐔 :: Expression' γ s² s¹ ζ Source #
pattern 𝐕 :: Expression' γ s² s¹ ζ Source #
pattern 𝐖 :: Expression' γ s² s¹ ζ Source #
pattern 𝐗 :: Expression' γ s² s¹ ζ Source #
pattern 𝐘 :: Expression' γ s² s¹ ζ Source #
pattern 𝐙 :: Expression' γ s² s¹ ζ Source #
Blackboard (LaTeX subset)
pattern ℂ :: Expression' γ s² s¹ ζ Source #
pattern ℍ :: Expression' γ s² s¹ ζ Source #
pattern ℕ :: Expression' γ s² s¹ ζ Source #
pattern ℚ :: Expression' γ s² s¹ ζ Source #
pattern ℝ :: Expression' γ s² s¹ ζ Source #
pattern ℤ :: Expression' γ s² s¹ ζ Source #
Blackboard (nonstandard)
pattern 𝔸 :: Expression' γ s² s¹ ζ Source #
pattern 𝔹 :: Expression' γ s² s¹ ζ Source #
pattern 𝔻 :: Expression' γ s² s¹ ζ Source #
pattern 𝔼 :: Expression' γ s² s¹ ζ Source #
pattern 𝔽 :: Expression' γ s² s¹ ζ Source #
pattern 𝔾 :: Expression' γ s² s¹ ζ Source #
pattern 𝕀 :: Expression' γ s² s¹ ζ Source #
pattern 𝕁 :: Expression' γ s² s¹ ζ Source #
pattern 𝕂 :: Expression' γ s² s¹ ζ Source #
pattern 𝕃 :: Expression' γ s² s¹ ζ Source #
pattern 𝕄 :: Expression' γ s² s¹ ζ Source #
pattern 𝕆 :: Expression' γ s² s¹ ζ Source #
pattern 𝕊 :: Expression' γ s² s¹ ζ Source #
pattern 𝕋 :: Expression' γ s² s¹ ζ Source #
pattern 𝕌 :: Expression' γ s² s¹ ζ Source #
pattern 𝕍 :: Expression' γ s² s¹ ζ Source #
pattern 𝕎 :: Expression' γ s² s¹ ζ Source #
pattern 𝕏 :: Expression' γ s² s¹ ζ Source #
pattern 𝕐 :: Expression' γ s² s¹ ζ Source #
Script
pattern 𝒜 :: Expression' γ s² s¹ ζ Source #
pattern ℬ :: Expression' γ s² s¹ ζ Source #
pattern 𝒞 :: Expression' γ s² s¹ ζ Source #
pattern 𝒟 :: Expression' γ s² s¹ ζ Source #
pattern ℰ :: Expression' γ s² s¹ ζ Source #
pattern ℱ :: Expression' γ s² s¹ ζ Source #
pattern 𝒢 :: Expression' γ s² s¹ ζ Source #
pattern ℋ :: Expression' γ s² s¹ ζ Source #
pattern ℐ :: Expression' γ s² s¹ ζ Source #
pattern 𝒥 :: Expression' γ s² s¹ ζ Source #
pattern 𝒦 :: Expression' γ s² s¹ ζ Source #
pattern ℒ :: Expression' γ s² s¹ ζ Source #
pattern ℳ :: Expression' γ s² s¹ ζ Source #
pattern 𝒩 :: Expression' γ s² s¹ ζ Source #
pattern 𝒪 :: Expression' γ s² s¹ ζ Source #
pattern 𝒫 :: Expression' γ s² s¹ ζ Source #
pattern 𝒬 :: Expression' γ s² s¹ ζ Source #
pattern ℛ :: Expression' γ s² s¹ ζ Source #
pattern 𝒮 :: Expression' γ s² s¹ ζ Source #
pattern 𝒯 :: Expression' γ s² s¹ ζ Source #
pattern 𝒰 :: Expression' γ s² s¹ ζ Source #
pattern 𝒱 :: Expression' γ s² s¹ ζ Source #
pattern 𝒲 :: Expression' γ s² s¹ ζ Source #
pattern 𝒳 :: Expression' γ s² s¹ ζ Source #
pattern 𝒴 :: Expression' γ s² s¹ ζ Source #
pattern 𝒵 :: Expression' γ s² s¹ ζ Source #
Calligraphic / bold-script
pattern 𝓐 :: Expression' γ s² s¹ ζ Source #
pattern 𝓑 :: Expression' γ s² s¹ ζ Source #
pattern 𝓒 :: Expression' γ s² s¹ ζ Source #
pattern 𝓓 :: Expression' γ s² s¹ ζ Source #
pattern 𝓔 :: Expression' γ s² s¹ ζ Source #
pattern 𝓕 :: Expression' γ s² s¹ ζ Source #
pattern 𝓖 :: Expression' γ s² s¹ ζ Source #
pattern 𝓗 :: Expression' γ s² s¹ ζ Source #
pattern 𝓘 :: Expression' γ s² s¹ ζ Source #
pattern 𝓙 :: Expression' γ s² s¹ ζ Source #
pattern 𝓚 :: Expression' γ s² s¹ ζ Source #
pattern 𝓛 :: Expression' γ s² s¹ ζ Source #
pattern 𝓜 :: Expression' γ s² s¹ ζ Source #
pattern 𝓝 :: Expression' γ s² s¹ ζ Source #
pattern 𝓞 :: Expression' γ s² s¹ ζ Source #
pattern 𝓟 :: Expression' γ s² s¹ ζ Source #
pattern 𝓠 :: Expression' γ s² s¹ ζ Source #
pattern 𝓡 :: Expression' γ s² s¹ ζ Source #
pattern 𝓢 :: Expression' γ s² s¹ ζ Source #
pattern 𝓣 :: Expression' γ s² s¹ ζ Source #
pattern 𝓤 :: Expression' γ s² s¹ ζ Source #
pattern 𝓥 :: Expression' γ s² s¹ ζ Source #
pattern 𝓦 :: Expression' γ s² s¹ ζ Source #
pattern 𝓧 :: Expression' γ s² s¹ ζ Source #
pattern 𝓨 :: Expression' γ s² s¹ ζ Source #
pattern 𝓩 :: Expression' γ s² s¹ ζ Source #
Fraktur
pattern 𝔄 :: Expression' γ s² s¹ ζ Source #
pattern 𝔅 :: Expression' γ s² s¹ ζ Source #
pattern ℭ :: Expression' γ s² s¹ ζ Source #
pattern 𝔇 :: Expression' γ s² s¹ ζ Source #
pattern 𝔈 :: Expression' γ s² s¹ ζ Source #
pattern 𝔉 :: Expression' γ s² s¹ ζ Source #
pattern 𝔊 :: Expression' γ s² s¹ ζ Source #
pattern ℌ :: Expression' γ s² s¹ ζ Source #
pattern ℑ :: Expression' γ s² s¹ ζ Source #
pattern 𝔍 :: Expression' γ s² s¹ ζ Source #
pattern 𝔎 :: Expression' γ s² s¹ ζ Source #
pattern 𝔏 :: Expression' γ s² s¹ ζ Source #
pattern 𝔐 :: Expression' γ s² s¹ ζ Source #
pattern 𝔑 :: Expression' γ s² s¹ ζ Source #
pattern 𝔒 :: Expression' γ s² s¹ ζ Source #
pattern 𝔓 :: Expression' γ s² s¹ ζ Source #
pattern 𝔔 :: Expression' γ s² s¹ ζ Source #
pattern ℜ :: Expression' γ s² s¹ ζ Source #
pattern 𝔖 :: Expression' γ s² s¹ ζ Source #
pattern 𝔗 :: Expression' γ s² s¹ ζ Source #
pattern 𝔘 :: Expression' γ s² s¹ ζ Source #
pattern 𝔙 :: Expression' γ s² s¹ ζ Source #
pattern 𝔚 :: Expression' γ s² s¹ ζ Source #
pattern 𝔛 :: Expression' γ s² s¹ ζ Source #
pattern 𝔜 :: 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 Γ :: Expression' γ s² s¹ ζ Source #
pattern Δ :: Expression' γ s² s¹ ζ Source #
pattern Θ :: Expression' γ s² s¹ ζ Source #
pattern Λ :: Expression' γ s² s¹ ζ Source #
pattern Ξ :: Expression' γ s² s¹ ζ Source #
pattern Π :: Expression' γ s² s¹ ζ Source #
pattern Σ :: Expression' γ s² s¹ ζ Source #
pattern Υ :: Expression' γ s² s¹ ζ Source #
pattern Φ :: Expression' γ s² s¹ ζ Source #
pattern Ψ :: Expression' γ s² s¹ ζ Source #
pattern Ω :: Expression' γ s² s¹ ζ Source #
Greek (Latin-lookalike)
pattern Α :: Expression' γ s² s¹ ζ Source #
pattern Β :: Expression' γ s² s¹ ζ Source #
pattern Ε :: Expression' γ s² s¹ ζ Source #
pattern Ζ :: Expression' γ s² s¹ ζ Source #
pattern Η :: Expression' γ s² s¹ ζ Source #
pattern Ι :: Expression' γ s² s¹ ζ Source #
pattern Κ :: Expression' γ s² s¹ ζ Source #
pattern Μ :: Expression' γ s² s¹ ζ Source #
pattern Ν :: Expression' γ s² s¹ ζ Source #
pattern Ο :: Expression' γ s² s¹ ζ Source #
pattern Ρ :: Expression' γ s² s¹ ζ Source #
pattern Τ :: Expression' γ s² s¹ ζ Source #
pattern Χ :: 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 #