Copyright | (c) Justus Sagemüller 2017 |
---|---|
License | GPL v3 |
Maintainer | (@) jsag $ hvl.no |
Stability | experimental |
Portability | requires GHC>7 extensions |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- type LaTeXMath σ = CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)
- type LaTeXSymbol σ = (SymbolClass σ, SCConstraint σ LaTeX)
- ㄬ :: 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⁰
- 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¹ ζ
- 𝔷 :: 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¹ ζ
- 𝑧 :: 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¹ ζ
- data Unicode_MathLatin_RomanGreek__BopomofoGaps
- type Symbol = SymbolD Unicode_MathLatin_RomanGreek__BopomofoGaps
- type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c)
- type Expression c = Expression' Void (Infix c) (Encapsulation c) c
- type Pattern c = Expression' GapId (Infix c) (Encapsulation c) c
- normaliseSymbols :: (SymbolClass σ, SCConstraint σ c) => CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c)
- showsPrecUnicodeSymbol :: (UnicodeSymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS
- showsPrecASCIISymbol :: (ASCIISymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS
- renderSymbolExpression :: (SymbolClass σ, SCConstraint σ c, HasCallStack) => ContextFixity -> RenderingCombinator σ c r -> AlgebraExpr σ c -> r
- expressionFixity :: AlgebraExpr σ c -> Maybe Fixity
- symbolFunction :: Monoid s¹ => s¹ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰
- symbolInfix :: s² -> CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰
- don'tParenthesise :: Monoid s¹ => CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰
- data SymbolD σ c
- data Infix s = Infix {
- symbolFixity :: !Fixity
- infixSymbox :: !s
- type family SpecialEncapsulation s
- data Encapsulation s
- = Encapsulation {
- needInnerParens :: !Bool
- haveOuterparens :: !Bool
- leftEncaps :: !s
- rightEncaps :: !s
- | SpecialEncapsulation (SpecialEncapsulation s)
- = Encapsulation {
- type AlgebraExpr σ l = CAS (Infix l) (Encapsulation l) (SymbolD σ l)
- type AlgebraExpr' γ σ l = CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- type AlgebraPattern σ l = AlgebraExpr' GapId σ l
- data AlgebraicInvEncapsulation
- class ASCIISymbols c where
- fromASCIISymbol :: Char -> c
- toASCIISymbols :: c -> String
- class Eq (SpecialEncapsulation c) => RenderableEncapsulations c where
- fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ c) => CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) -> CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c)
- type RenderingCombinator σ c r = Bool -> Maybe r -> SymbolD σ c -> Maybe r -> r
- data ContextFixity
- class UnicodeSymbols c where
- fromUnicodeSymbol :: Char -> c
- toUnicodeSymbols :: c -> String
- type family SCConstraint σ :: Type -> Constraint
- class SymbolClass σ where
- type SCConstraint σ :: Type -> Constraint
- fromCharSymbol :: (Functor p, SCConstraint σ c) => p σ -> Char -> c
- type LaTeXMath__MathLatin_RomanGreek__BopomofoGaps = CAS (Infix LaTeX) (Encapsulation LaTeX) (Symbol LaTeX)
- (%$>) :: (SymbolClass σ, SCConstraint σ c) => (c -> c') -> CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c')
- prime :: LaTeXC l => l -> l
- dot :: LaTeXC l => l -> l
- ddot :: LaTeXC l => l -> l
- bar :: LaTeXC l => l -> l
- hat :: LaTeXC l => l -> l
- vec :: LaTeXC l => l -> l
- underline :: LaTeXC l => l -> l
- tilde :: LaTeXC l => l -> l
- (☾) :: MathsInfix
- (☽) :: MathsInfix
- (°) :: MathsInfix
- (‸) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
- (⁀) :: MathsInfix
- (...) :: MathsInfix
- (⍪..⍪) :: MathsInfix
- (⍪) :: MathsInfix
- (،..،) :: MathsInfix
- (،) :: MathsInfix
- (⸪=) :: MathsInfix
- (=⸪) :: MathsInfix
- (÷=) :: MathsInfix
- (=÷) :: MathsInfix
- (␣) :: MathsInfix
- (+..+) :: MathsInfix
- (*..*) :: MathsInfix
- (×) :: MathsInfix
- (∗) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
- (⋆) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
- (<،>) :: MathsInfix
- (<⍪>) :: MathsInfix
- (⊗) :: MathsInfix
- (∘) :: MathsInfix
- factorial :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (◝) :: MathsInfix
- (◝⁀) :: MathsInfix
- (◞) :: MathsInfix
- (◞◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> (CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s), CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)
- (|◞) :: MathsInfix
- (|◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)
- (|◞◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> (CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s), CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)
- (⩵) :: MathsInfix
- (≡) :: MathsInfix
- (⩵!) :: MathsInfix
- (≠) :: MathsInfix
- (⪡) :: MathsInfix
- (⪢) :: MathsInfix
- (≤) :: MathsInfix
- (≥) :: MathsInfix
- (≪) :: MathsInfix
- (≫) :: MathsInfix
- (∝) :: MathsInfix
- (⟂) :: MathsInfix
- (∥) :: MathsInfix
- (₌₌) :: MathsInfix
- (╰─┬─╯) :: MathsInfix
- (=→) :: MathsInfix
- (←=) :: MathsInfix
- (≈) :: MathsInfix
- (∼) :: MathsInfix
- (≃) :: MathsInfix
- (≅) :: MathsInfix
- (⊂) :: MathsInfix
- (/⊂) :: MathsInfix
- (⊆) :: MathsInfix
- (⊃) :: MathsInfix
- (⊇) :: MathsInfix
- (∋) :: MathsInfix
- (∌) :: MathsInfix
- (∈) :: MathsInfix
- (∉) :: MathsInfix
- (∩) :: MathsInfix
- (∪) :: MathsInfix
- (⊎) :: MathsInfix
- (∖) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
- (-\-) :: MathsInfix
- (⧵) :: MathsInfix
- (÷) :: MathsInfix
- (⸪) :: MathsInfix
- (⊕) :: MathsInfix
- (∀:) :: MathsInfix
- (∃:) :: MathsInfix
- (∄:) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
- (-→) :: MathsInfix
- (←-) :: MathsInfix
- (↦) :: MathsInfix
- (↪) :: MathsInfix
- (==>) :: MathsInfix
- (<==) :: MathsInfix
- (<=>) :: MathsInfix
- (∧) :: MathsInfix
- (∨) :: MathsInfix
- (∫) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (◞∫) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (◞∮) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- d :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> Integrand γ (Infix l) (Encapsulation l) s⁰
- (∑) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (◞∑) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (∏) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (◞∏) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (⋃) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (◞⋃) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (⋂) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (◞⋂) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (⨄) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (◞⨄) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- del :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)
- nabla :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)
- (<.<) :: MathsInfix
- (≤.<) :: MathsInfix
- (<.≤) :: MathsInfix
- (≤.≤) :: MathsInfix
- (±) :: MathsInfix
- (∓) :: MathsInfix
- set :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- setCompr :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- tup :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- intv :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- infty :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)
- norm :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- nobreaks :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- matrix :: LaTeXC l => [[CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)]] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- cases :: LaTeXC l => [(CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), LaTeX)] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (&~~!) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l
- (&~~:) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l
- continueExpr :: (Eq l, Monoid l) => (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l) -> (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l) -> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l
- (&) :: a -> (a -> b) -> b
- (&~:) :: (Eq s⁰, Eq s¹, Eq s²) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> CAS s² s¹ s⁰
- (&~?) :: (Eq s⁰, Eq s¹, Eq s²) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> [CAS s² s¹ s⁰]
- (&~!) :: (Eq s⁰, Eq s¹, Eq s², Show (CAS s² s¹ s⁰), Show (CAS' GapId s² s¹ s⁰)) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> CAS s² s¹ s⁰
- (|->) :: CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰ -> Equality' γ s² s¹ s⁰
- ($<>) :: LaTeXC r => LaTeXMath__MathLatin_RomanGreek__BopomofoGaps -> r -> r
- (>$) :: LaTeXC r => r -> LaTeXMath__MathLatin_RomanGreek__BopomofoGaps -> r
- dmaths :: (LaTeXC r, LaTeXSymbol σ) => [[LaTeXMath σ]] -> String -> r
- maths :: (LaTeXC r, LaTeXSymbol σ) => [[LaTeXMath σ]] -> String -> r
- equations :: (LaTeXC r, LaTeXSymbol σ, HasCallStack) => [(LaTeXMath σ, String)] -> String -> r
- dcalculation :: (LaTeXC (m ()), LaTeXSymbol σ, Functor m) => LaTeXMath σ -> String -> m (LaTeXMath σ)
- toMathLaTeX :: forall σ l. (l ~ LaTeX, SymbolClass σ, SCConstraint σ l) => CAS (Infix l) (Encapsulation l) (SymbolD σ l) -> l
Documentation
type LaTeXMath σ = CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) Source #
Mathematical expressions to be typeset in LaTeX. Most of the functions in this library have more generic signatures, but all can be used with this type.
The σ
parameter specifies how single-symbol “literals” are used in your
Haskell code.
Primitive symbols
type LaTeXSymbol σ = (SymbolClass σ, SCConstraint σ LaTeX) Source #
The CAS.Dumb.Symbols.Unicode.*
modules offer symbols that can be rendered
in LaTeX.
Unicode literals
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¹ ζ #
𝔷 :: 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¹ ζ #
𝑧 :: 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¹ ζ #
data Unicode_MathLatin_RomanGreek__BopomofoGaps #
Instances
SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps | |
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) | |
Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps showsPrec :: Int -> Expression c -> ShowS # show :: Expression c -> String # showList :: [Expression c] -> ShowS # | |
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) | |
Unwieldy c => Unwieldy (Symbol c) | |
Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps unwieldiness :: Symbol c -> Unwieldiness # | |
type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps | |
type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c) #
type Expression c = Expression' Void (Infix c) (Encapsulation c) c #
type Pattern c = Expression' GapId (Infix c) (Encapsulation c) c #
normaliseSymbols :: (SymbolClass σ, SCConstraint σ c) => CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c) #
showsPrecUnicodeSymbol :: (UnicodeSymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS #
showsPrecASCIISymbol :: (ASCIISymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS #
renderSymbolExpression :: (SymbolClass σ, SCConstraint σ c, HasCallStack) => ContextFixity -> RenderingCombinator σ c r -> AlgebraExpr σ c -> r #
expressionFixity :: AlgebraExpr σ c -> Maybe Fixity #
symbolFunction :: Monoid s¹ => s¹ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ #
don'tParenthesise :: Monoid s¹ => CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ #
Instances
Infix | |
|
Instances
type family SpecialEncapsulation s #
Instances
type SpecialEncapsulation LaTeX Source # | |
Defined in CAS.Dumb.LaTeX.Symbols | |
type SpecialEncapsulation String | |
Defined in CAS.Dumb.Symbols |
data Encapsulation s #
Encapsulation | |
| |
SpecialEncapsulation (SpecialEncapsulation s) |
Instances
type AlgebraExpr σ l = CAS (Infix l) (Encapsulation l) (SymbolD σ l) #
type AlgebraExpr' γ σ l = CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) #
type AlgebraPattern σ l = AlgebraExpr' GapId σ l #
data AlgebraicInvEncapsulation #
Instances
Show AlgebraicInvEncapsulation | |
Defined in CAS.Dumb.Symbols showsPrec :: Int -> AlgebraicInvEncapsulation -> ShowS # show :: AlgebraicInvEncapsulation -> String # showList :: [AlgebraicInvEncapsulation] -> ShowS # | |
Eq AlgebraicInvEncapsulation | |
Defined in CAS.Dumb.Symbols |
class ASCIISymbols c where #
fromASCIISymbol :: Char -> c #
toASCIISymbols :: c -> String #
Instances
ASCIISymbols LaTeX Source # | |
Defined in CAS.Dumb.LaTeX.Symbols fromASCIISymbol :: Char -> LaTeX # toASCIISymbols :: LaTeX -> String # | |
ASCIISymbols String | |
Defined in CAS.Dumb.Symbols fromASCIISymbol :: Char -> String # toASCIISymbols :: String -> String # |
class Eq (SpecialEncapsulation c) => RenderableEncapsulations c where #
fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ c) => CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) -> CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) #
Instances
RenderableEncapsulations LaTeX Source # | |
Defined in CAS.Dumb.LaTeX.Symbols fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) # | |
RenderableEncapsulations String | |
Defined in CAS.Dumb.Symbols fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ String) => CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) -> CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) # |
type RenderingCombinator σ c r #
data ContextFixity #
Instances
Eq ContextFixity | |
Defined in CAS.Dumb.Symbols (==) :: ContextFixity -> ContextFixity -> Bool # (/=) :: ContextFixity -> ContextFixity -> Bool # |
class UnicodeSymbols c where #
fromUnicodeSymbol :: Char -> c #
toUnicodeSymbols :: c -> String #
Instances
UnicodeSymbols LaTeX Source # | |
Defined in CAS.Dumb.LaTeX.Symbols fromUnicodeSymbol :: Char -> LaTeX # toUnicodeSymbols :: LaTeX -> String # | |
UnicodeSymbols String | |
Defined in CAS.Dumb.Symbols fromUnicodeSymbol :: Char -> String # toUnicodeSymbols :: String -> String # |
type family SCConstraint σ :: Type -> Constraint #
class SymbolClass σ where #
type SCConstraint σ :: Type -> Constraint #
fromCharSymbol :: (Functor p, SCConstraint σ c) => p σ -> Char -> c #
This module offers a “WYSiWYG” style, with italic Unicode math symbols
(U+1d44e 𝑎
- U+1d467 𝑧
) coming out as standard italic symbols \(a\) - \(z\),
bold Unicode math symbols (U+1d41a 𝐚
- U+1d433 𝐳
) coming out as bold
\(\mathbf{a}\) - \(\mathbf{z}\) and so on.
Greek letters can be used from the standard block
(U+3b1 α
→ \(\alpha\) - U+3c9 ω
→ \(\omega\)).
All of this also works for uppercase letters (it circumvents Haskell syntax
restrictions by using the PatternSynonyms
extension).
Upright (roman) symbols are not directly supported, but if you import Math.LaTeX.StringLiterals they can be written as strings.
Example: 𝑎 + 𝐛 + 𝐶 + "D" + ε + Φ ∈ ℝ
is rendered as
\(a + \mathbf{b} + C + \text{D} + \varepsilon + \Phi \in \mathbb{R}\).
The Bopomofo symbols here are not exported for use in documents but for Algebraic manipulation.
type LaTeXMath__MathLatin_RomanGreek__BopomofoGaps = CAS (Infix LaTeX) (Encapsulation LaTeX) (Symbol LaTeX) Source #
Custom symbol-literals
If you prefer using instead e.g. ASCII letters A
- z
for simple symbols
\(A\) - \(z\), use this import list:
import Math.LaTeX.Prelude hiding ((>$), (<>$)) import Math.LaTeX.Internal.Display ((>$), (<>$)) import CAS.Dumb.Symbols.ASCII
We give no guarantee that this will work without name clashes or type ambiguities.
Symbol modifiers
(%$>) :: (SymbolClass σ, SCConstraint σ c) => (c -> c') -> CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c') infixl 4 #
Transform the symbols of an expression, in their underlying representation.
(map succ%$> 𝑎+𝑝) * 𝑥 ≡ (𝑏+𝑞) * 𝑥
Note that this can not be used with number literals.
Add a dot accent above a symbol, as used to denote a derivative, like \(\dot{x}\).
Add a dot accent above a symbol, as used to denote a second derivative, like \(\ddot{y}\)
Maths operators
(☾) :: MathsInfix infixl 7 Source #
(☽) :: MathsInfix infixr 7 Source #
(°) :: MathsInfix infixl 7 Source #
Deprecated: Use (☾), i.e. U+263E LAST QUARTER MOON
(‸) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ infixr 9 Source #
(⁀) :: MathsInfix infixr 9 Source #
Deprecated: Use (‸), i.e. U+2038 CARET
(...) :: MathsInfix infixr 0 Source #
(⍪..⍪) :: MathsInfix infixr 0 Source #
(⍪) :: MathsInfix infixr 0 Source #
(،..،) :: MathsInfix infixr 0 Source #
Deprecated: Use (⍪..⍪), i.e. U+236A APL FUNCTIONAL SYMBOL COMMA
(،) :: MathsInfix infixr 0 Source #
Deprecated: Use (⍪), i.e. U+236A APL FUNCTIONAL SYMBOL COMMA
(⸪=) :: MathsInfix infixl 4 Source #
(=⸪) :: MathsInfix infixl 4 Source #
(÷=) :: MathsInfix infixl 4 Source #
(=÷) :: MathsInfix infixl 4 Source #
(␣) :: MathsInfix infixr 0 Source #
(+..+) :: MathsInfix infixl 6 Source #
(*..*) :: MathsInfix infixl 7 Source #
(×) :: MathsInfix infixl 7 Source #
(∗) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #
(⋆) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #
(<،>) :: MathsInfix infix 7 Source #
Deprecated: Use (⍪), i.e. U+236A APL FUNCTIONAL SYMBOL COMMA
(<⍪>) :: MathsInfix infix 7 Source #
(⊗) :: MathsInfix infixl 7 Source #
(∘) :: MathsInfix infixl 7 Source #
factorial :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
(◝) :: MathsInfix infixr 9 Source #
(◝⁀) :: MathsInfix infixr 9 Source #
Deprecated: Use manual parenthesization
(◞) :: MathsInfix infixr 9 Source #
(◞◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> (CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s), CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) infixl 8 Source #
(|◞) :: MathsInfix infixl 8 Source #
(|◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) infixl 8 Source #
(|◞◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> (CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s), CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) infixl 8 Source #
(⩵) :: MathsInfix infixl 4 Source #
(≡) :: MathsInfix infixl 4 Source #
(⩵!) :: MathsInfix infixl 4 Source #
(≠) :: MathsInfix infixl 4 Source #
(⪡) :: MathsInfix infixl 4 Source #
(⪢) :: MathsInfix infixl 4 Source #
(≤) :: MathsInfix infixl 4 Source #
(≥) :: MathsInfix infixl 4 Source #
(≪) :: MathsInfix infixl 4 Source #
(≫) :: MathsInfix infixl 4 Source #
(∝) :: MathsInfix infixl 4 Source #
(⟂) :: MathsInfix infixl 4 Source #
(∥) :: MathsInfix infixl 4 Source #
(₌₌) :: MathsInfix infixl 8 Source #
Deprecated: Use (╰─┬─╯), i.e. Unicode box drawings
(╰─┬─╯) :: MathsInfix Source #
(=→) :: MathsInfix infixl 4 Source #
(←=) :: MathsInfix infixl 4 Source #
(≈) :: MathsInfix infixl 4 Source #
(∼) :: MathsInfix infixl 4 Source #
(≃) :: MathsInfix infixl 4 Source #
(≅) :: MathsInfix infixl 4 Source #
(⊂) :: MathsInfix infixl 4 Source #
(/⊂) :: MathsInfix infixl 4 Source #
(⊆) :: MathsInfix infixl 4 Source #
(⊃) :: MathsInfix infixl 4 Source #
(⊇) :: MathsInfix infixl 4 Source #
(∋) :: MathsInfix infixl 4 Source #
(∌) :: MathsInfix infixl 4 Source #
(∈) :: MathsInfix infixl 4 Source #
(∉) :: MathsInfix infixl 4 Source #
(∩) :: MathsInfix infixr 3 Source #
(∪) :: MathsInfix infixr 2 Source #
(⊎) :: MathsInfix infixr 2 Source #
(∖) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ infixl 2 Source #
(-\-) :: MathsInfix infixl 2 Source #
Deprecated: Use (∖), i.e. U+2216 SET MINUS
(⧵) :: MathsInfix infixl 2 Source #
Deprecated: Use (∖), i.e. U+2216 SET MINUS. (You used U+29F5 REVERSE SOLIDUS OPERATOR)
(÷) :: MathsInfix Source #
(⸪) :: MathsInfix infixr 5 Source #
Deprecated: Use (÷), i.e. U+00F7 DIVISION SIGN
(⊕) :: MathsInfix infixl 6 Source #
(∀:) :: MathsInfix infix 2 Source #
(∃:) :: MathsInfix infix 2 Source #
(∄:) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ infix 2 Source #
(-→) :: MathsInfix infixr 5 Source #
(←-) :: MathsInfix infixr 5 Source #
(↦) :: MathsInfix infixl 4 Source #
(↪) :: MathsInfix infixr 5 Source #
(==>) :: MathsInfix infixl 1 Source #
(<==) :: MathsInfix infixl 1 Source #
(<=>) :: MathsInfix infixl 1 Source #
(∧) :: MathsInfix infixr 3 Source #
(∨) :: MathsInfix infixr 3 Source #
(∫) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞∫) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞∮) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
d :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> Integrand γ (Infix l) (Encapsulation l) s⁰ Source #
(∑) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞∑) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(∏) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞∏) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(⋃) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞⋃) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(⋂) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞⋂) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(⨄) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞⨄) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
del :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX) Source #
nabla :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX) Source #
(<.<) :: MathsInfix infix 5 Source #
(≤.<) :: MathsInfix infix 5 Source #
(<.≤) :: MathsInfix infix 5 Source #
(≤.≤) :: MathsInfix infix 5 Source #
(±) :: MathsInfix infixl 6 Source #
(∓) :: MathsInfix infixl 6 Source #
set :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
setCompr :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
tup :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
intv :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
infty :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX) Source #
norm :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
nobreaks :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
matrix :: LaTeXC l => [[CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)]] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
cases :: LaTeXC l => [(CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), LaTeX)] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
Algebraic manipulation
(&~~!) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l infixl 1 #
Apply a sequence of pattern-transformations and yield the result concatenated to the original via the corresponding chain-operator. Because only the rightmost expression in a chain is processed, this can be iterated, giving a chain of intermediate results.
If one of the patterns does not match, this manipulator will raise an error.
(&~~:) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l infixl 1 #
Apply a sequence of pattern-transformations, each in every spot possible, and yield the result concatenated to the original via the corresponding chain-operator. Because only the rightmost expression in a chain is processed, this can be iterated, giving a chain of intermediate results.
:: (Eq l, Monoid l) | |
=> (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l) | Combinator to use for chaining the new expression to the old ones |
-> (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l) | Transformation to apply to the rightmost expression in the previous chain |
-> AlgebraExpr' γ σ l | Transformation which appends the result. |
-> AlgebraExpr' γ σ l |
(&~!) :: (Eq s⁰, Eq s¹, Eq s², Show (CAS s² s¹ s⁰), Show (CAS' GapId s² s¹ s⁰)) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> CAS s² s¹ s⁰ infixl 1 #
Use in documents
($<>) :: LaTeXC r => LaTeXMath__MathLatin_RomanGreek__BopomofoGaps -> r -> r infixr 6 Source #
Embed inline maths in a semigroup/monoidal chain of document-components.
"If "<>𝑎$<>" and "<>𝑏$<>" are the lengths of the legs and "<>𝑐$<> " of the cathete of a right triangle, then "<>(𝑎◝2+𝑏◝2 ⩵ 𝑐◝2)$<>" holds."
This will be rendered as: If \(a\) and \(b\) are the lengths of the legs and \(c\) of the cathete of a right triangle, then \(a^2+b^2=c^2\) holds.
(>$) :: LaTeXC r => r -> LaTeXMath__MathLatin_RomanGreek__BopomofoGaps -> r infixl 1 Source #
Embed inline maths in a monadic chain of document-components. Space before the math is included automatically.
do "If">$𝑎;" and">$𝑏;" are the lengths of the legs and">$𝑐 " of the cathete of a right triangle, then">$ 𝑎◝2+𝑏◝2 ⩵ 𝑐◝2;" holds."
Note: these versions of the $<>
and >$
operators have a signature that's
monomorphic to unicode symbol-literals.
(This restriction is to avoid ambiguous types when writing maths without any
symbols in it, like simply embedding a fraction in inline text.) See
Custom literals if this is a problem for you.
:: (LaTeXC r, LaTeXSymbol σ) | |
=> [[LaTeXMath σ]] | Equations to show. |
-> String | “Terminator” – this can include punctuation (when an equation is at the end of a sentence in the preceding text). |
-> r |
Include a formula / equation system as a LaTeX display. If it's a single equation, automatic line breaks are inserted (requires the breqn LaTeX package).
:: (LaTeXC r, LaTeXSymbol σ) | |
=> [[LaTeXMath σ]] | Equations to show. |
-> String | “Terminator” – this can include punctuation (when an equation is at the end of a sentence in the preceding text). |
-> r |
Include a formula / equation system as a LaTeX display.
:: (LaTeXC r, LaTeXSymbol σ, HasCallStack) | |
=> [(LaTeXMath σ, String)] | Equations to show, with label name. |
-> String | “Terminator” – this can include punctuation (when an equation is at the end of a sentence in the preceding text). |
-> r |
Include a set of equations or formulas, each with a LaTeX label that can be
referenced with ref
. (The label name will not appear in the rendered
document output; by default it will be just a number but you can tweak it with
the terminator by including the desired tag in parentheses.)
:: (LaTeXC (m ()), LaTeXSymbol σ, Functor m) | |
=> LaTeXMath σ | Computation chain to display. |
-> String | “Terminator” – this can include punctuation (when an equation is at the end of a sentence in the preceding text). |
-> m (LaTeXMath σ) | Yield the rightmost expression in the displayed computation (i.e. usually the final result in a chain of algebraic equalities). |
toMathLaTeX :: forall σ l. (l ~ LaTeX, SymbolClass σ, SCConstraint σ l) => CAS (Infix l) (Encapsulation l) (SymbolD σ l) -> l Source #