Copyright | (c) Justus Sagemüller 2017 |
---|---|
License | GPL v3 |
Maintainer | (@) jsag $ hvl.no |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
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.
Synopsis
- class SymbolClass σ where
- type SCConstraint σ :: * -> Constraint
- fromCharSymbol :: (Functor p, SCConstraint σ c) => p σ -> Char -> c
- class UnicodeSymbols c where
- fromUnicodeSymbol :: Char -> c
- toUnicodeSymbols :: c -> String
- data ContextFixity
- type RenderingCombinator σ c r = Bool -> Maybe r -> SymbolD σ c -> Maybe r -> r
- 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)
- class ASCIISymbols c where
- fromASCIISymbol :: Char -> c
- toASCIISymbols :: c -> String
- data AlgebraicInvEncapsulation
- type AlgebraPattern σ l = AlgebraExpr' GapId σ l
- type AlgebraExpr' γ σ l = CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- type AlgebraExpr σ l = CAS (Infix l) (Encapsulation l) (SymbolD σ l)
- data Encapsulation s
- = Encapsulation {
- needInnerParens, haveOuterparens :: !Bool
- leftEncaps, rightEncaps :: !s
- | SpecialEncapsulation (SpecialEncapsulation s)
- = Encapsulation {
- type family SpecialEncapsulation s
- data Infix s = Infix {
- symbolFixity :: !Fixity
- infixSymbox :: !s
- data SymbolD σ c
- don'tParenthesise :: Monoid 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⁰
- symbolFunction :: Monoid s¹ => s¹ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰
- expressionFixity :: AlgebraExpr σ c -> Maybe Fixity
- renderSymbolExpression :: forall σ c r. (SymbolClass σ, SCConstraint σ c, HasCallStack) => ContextFixity -> RenderingCombinator σ c r -> AlgebraExpr σ c -> r
- showsPrecASCIISymbol :: (ASCIISymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS
- showsPrecUnicodeSymbol :: (UnicodeSymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS
- normaliseSymbols :: forall σ c γ s² s¹. (SymbolClass σ, SCConstraint σ c) => CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c)
- (%$>) :: forall σ c c' γ s² s¹. (SymbolClass σ, SCConstraint σ c) => (c -> c') -> CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c')
- data Unicode_MathLatin_RomanGreek__BopomofoGaps
- 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¹ ζ
- γ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- δ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- ε :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- ζ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- η :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- θ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- ϑ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- ι :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- κ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- λ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- μ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- ν :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- ξ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- ο :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- π :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- ρ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- ϱ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- σ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- ς :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- τ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- υ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- ϕ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- φ :: 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
class SymbolClass σ where Source #
type SCConstraint σ :: * -> Constraint Source #
fromCharSymbol :: (Functor p, SCConstraint σ c) => p σ -> Char -> c Source #
Instances
SymbolClass ASCII Source # | |
Defined in CAS.Dumb.Symbols.ASCII type SCConstraint ASCII :: Type -> Constraint Source # fromCharSymbol :: (Functor p, SCConstraint ASCII c) => p ASCII -> Char -> c Source # | |
SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps Source # | |
class UnicodeSymbols c where Source #
fromUnicodeSymbol :: Char -> c Source #
toUnicodeSymbols :: c -> String Source #
Instances
UnicodeSymbols String Source # | |
Defined in CAS.Dumb.Symbols fromUnicodeSymbol :: Char -> String Source # toUnicodeSymbols :: String -> String Source # |
data ContextFixity Source #
Instances
Eq ContextFixity Source # | |
Defined in CAS.Dumb.Symbols (==) :: ContextFixity -> ContextFixity -> Bool # (/=) :: ContextFixity -> ContextFixity -> Bool # |
type RenderingCombinator σ c r Source #
class Eq (SpecialEncapsulation c) => RenderableEncapsulations c where Source #
fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ c) => CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) -> CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) Source #
Instances
RenderableEncapsulations String Source # | |
Defined in CAS.Dumb.Symbols fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ String) => CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) -> CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) Source # |
class ASCIISymbols c where Source #
fromASCIISymbol :: Char -> c Source #
toASCIISymbols :: c -> String Source #
Instances
ASCIISymbols String Source # | |
Defined in CAS.Dumb.Symbols fromASCIISymbol :: Char -> String Source # toASCIISymbols :: String -> String Source # |
data AlgebraicInvEncapsulation Source #
Instances
Show AlgebraicInvEncapsulation Source # | |
Defined in CAS.Dumb.Symbols showsPrec :: Int -> AlgebraicInvEncapsulation -> ShowS # show :: AlgebraicInvEncapsulation -> String # showList :: [AlgebraicInvEncapsulation] -> ShowS # | |
Eq AlgebraicInvEncapsulation Source # | |
Defined in CAS.Dumb.Symbols |
type AlgebraPattern σ l = AlgebraExpr' GapId σ l Source #
type AlgebraExpr' γ σ l = CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
type AlgebraExpr σ l = CAS (Infix l) (Encapsulation l) (SymbolD σ l) Source #
data Encapsulation s Source #
Encapsulation | |
| |
SpecialEncapsulation (SpecialEncapsulation s) |
Instances
type family SpecialEncapsulation s Source #
Instances
type SpecialEncapsulation String Source # | |
Defined in CAS.Dumb.Symbols |
Infix | |
|
Instances
Instances
don'tParenthesise :: Monoid s¹ => CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ Source #
symbolFunction :: Monoid s¹ => s¹ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ Source #
expressionFixity :: AlgebraExpr σ c -> Maybe Fixity Source #
renderSymbolExpression :: forall σ c r. (SymbolClass σ, SCConstraint σ c, HasCallStack) => ContextFixity -> RenderingCombinator σ c r -> AlgebraExpr σ c -> r Source #
showsPrecASCIISymbol :: (ASCIISymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS Source #
showsPrecUnicodeSymbol :: (UnicodeSymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS Source #
normaliseSymbols :: forall σ c γ s² s¹. (SymbolClass σ, SCConstraint σ c) => CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c) Source #
(%$>) :: forall σ c c' γ s² s¹. (SymbolClass σ, SCConstraint σ c) => (c -> c') -> CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c') infixl 4 Source #
Transform the symbols of an expression, in their underlying representation.
(map succ%$> 𝑎+𝑝) * 𝑥 ≡ (𝑏+𝑞) * 𝑥
Note that this can not be used with number literals.
data Unicode_MathLatin_RomanGreek__BopomofoGaps Source #
Instances
SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps Source # | |
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source # | |
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) Source # | |
Unwieldy c => Unwieldy (Symbol c) Source # | |
Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps unwieldiness :: Symbol c -> Unwieldiness Source # | |
type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps Source # | |
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 #
Fraktur
𝔞 :: 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 #