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 is intended as alternative syntax for
CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps, the difference
being that the symbol names start with the qualifier sym
. This means that
the uppercase symbols don't need special handling as PatternSynonyms
.
sym𝑋
≡𝑋
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')
- 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
- sym𝑎 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑏 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑐 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑑 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑒 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑓 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑔 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℎ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑖 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑗 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑘 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑙 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑚 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑛 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑝 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑞 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑟 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑠 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑡 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑢 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑣 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑤 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑥 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑦 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑧 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐚 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐛 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐝 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐞 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐟 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐠 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐡 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐢 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐣 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐤 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐥 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐦 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐧 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐨 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐩 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐪 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐫 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐬 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐭 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐮 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐯 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐰 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐱 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐲 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐳 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symα :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symβ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symγ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symδ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symε :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symζ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symη :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symθ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symϑ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symι :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symκ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symλ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symμ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symν :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symξ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symο :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symπ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symρ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symϱ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symσ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symς :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symτ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symυ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symϕ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symφ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symχ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symψ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symω :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐴 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐵 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐶 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐷 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐸 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐹 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐺 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐻 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐼 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐽 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐾 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐿 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑀 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑁 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑂 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑃 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑄 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑅 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑆 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑇 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑈 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑉 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑊 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑋 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑌 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝑍 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐀 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐁 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐂 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐃 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐄 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐅 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐆 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐇 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐈 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐉 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐊 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐋 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐌 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐍 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐎 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐏 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐐 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐑 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐒 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐓 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐔 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐕 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐖 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐗 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐘 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝐙 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℂ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℍ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℕ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℚ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℝ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℤ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔸 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔹 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔻 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔼 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔽 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔾 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕀 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕁 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕂 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕃 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕄 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕆 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕊 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕋 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕌 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕍 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕎 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕏 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝕐 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℬ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒞 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒟 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℰ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℱ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒢 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℋ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℐ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒥 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒦 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℒ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℳ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒩 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒪 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒫 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒬 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℛ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒮 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒯 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒰 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒱 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒲 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒳 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒴 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝒵 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓐 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓑 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓒 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓓 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓔 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓕 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓖 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓗 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓘 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓙 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓚 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓛 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓝 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓞 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓟 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓠 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓡 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓢 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓣 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓤 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓥 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓦 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓧 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓨 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝓩 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔄 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔅 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℭ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔇 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔈 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔉 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔊 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℌ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℑ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔍 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔎 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔏 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔐 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔑 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔒 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔓 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔔 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symℜ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔖 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔗 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔘 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔙 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔚 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔛 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- sym𝔜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΓ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΔ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΘ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΛ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΞ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΠ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΣ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΥ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΦ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΨ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΩ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΑ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΒ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΕ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΖ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΗ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΙ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΚ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΜ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΝ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΟ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΡ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΤ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ
- symΧ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ 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.
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.
sym𝑎 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑏 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑐 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑑 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑒 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑓 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑔 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℎ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑖 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑗 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑘 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑙 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑚 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑛 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑝 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑞 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑟 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑠 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑡 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑢 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑣 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑤 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑥 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑦 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑧 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Bold
sym𝐚 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐛 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐝 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐞 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐟 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐠 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐡 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐢 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐣 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐤 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐥 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐦 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐧 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐨 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐩 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐪 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐫 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐬 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐭 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐮 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐯 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐰 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐱 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐲 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐳 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Greek
symα :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symβ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symγ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symδ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symε :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symζ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symη :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symθ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symϑ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symι :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symκ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symλ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symμ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symν :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symξ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symο :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symπ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symρ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symϱ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symσ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symς :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symτ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symυ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symϕ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symφ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symχ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symψ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symω :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Uppercase letters
Italic
sym𝐴 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐵 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐶 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐷 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐸 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐹 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐺 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐻 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐼 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐽 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐾 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐿 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑀 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑁 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑂 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑃 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑄 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑅 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑆 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑇 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑈 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑉 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑊 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑋 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑌 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝑍 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Bold
sym𝐀 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐁 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐂 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐃 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐄 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐅 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐆 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐇 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐈 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐉 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐊 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐋 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐌 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐍 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐎 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐏 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐐 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐑 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐒 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐓 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐔 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐕 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐖 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐗 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐘 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝐙 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Blackboard (LaTeX subset)
symℂ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℍ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℕ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℚ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℝ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℤ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Blackboard (nonstandard)
sym𝔸 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔹 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔻 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔼 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔽 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔾 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕀 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕁 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕂 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕃 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕄 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕆 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕊 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕋 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕌 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕍 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕎 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕏 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝕐 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Script
sym𝒜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℬ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒞 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒟 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℰ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℱ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒢 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℋ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℐ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒥 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒦 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℒ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℳ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒩 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒪 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒫 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒬 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℛ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒮 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒯 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒰 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒱 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒲 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒳 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒴 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝒵 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Calligraphic / bold-script
sym𝓐 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓑 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓒 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓓 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓔 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓕 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓖 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓗 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓘 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓙 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓚 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓛 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓝 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓞 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓟 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓠 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓡 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓢 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓣 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓤 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓥 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓦 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓧 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓨 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝓩 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Fraktur
sym𝔄 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔅 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℭ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔇 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔈 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔉 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔊 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℌ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℑ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔍 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔎 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔏 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔐 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔑 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔒 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔓 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔔 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symℜ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔖 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔗 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔘 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔙 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔚 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔛 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
sym𝔜 :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Greek (LaTeX subset)
These are the uppercase greek letters that don't have latin lookalikes. Only these are supported in LaTeX, so for doing maths it's probably best to stick to this subset.
symΓ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΔ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΘ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΛ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΞ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΠ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΣ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΥ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΦ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΨ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΩ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Greek (Latin-lookalike)
symΑ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΒ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΕ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΖ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΗ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΙ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΚ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΜ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΝ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΟ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΡ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΤ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
symΧ :: forall {γ} {s¹} {s²} {ζ}. Expression' γ s² s¹ ζ Source #
Auxiliary
type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c) Source #