Copyright	(c) Justus Sagemüller 2017
License	GPL v3
Maintainer	(@) jsag $ hvl.no
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek.Qualified

Contents

“Constant variable” symbols
- Lowercase letters
  - Bold
  - Greek
- Uppercase letters
Auxiliary

Description

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
- = AtLHS Fixity
- | AtRHS Fixity
- | AtFunctionArgument
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
- = Negation
- | Reciprocal
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)
type family SpecialEncapsulation s
data Infix s = Infix {
- symbolFixity :: !Fixity
- infixSymbox :: !s
}
data SymbolD σ c
- = NatSymbol !Integer
- | PrimitiveSymbol Char
- | StringSymbol 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 #

Associated Types

type SCConstraint σ :: * -> Constraint Source #

Methods

fromCharSymbol :: (Functor p, SCConstraint σ c) => p σ -> Char -> c Source #

Instances

Instances details

SymbolClass ASCII Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Associated Types type SCConstraint ASCII :: Type -> Constraint Source # Methods fromCharSymbol :: (Functor p, SCConstraint ASCII c) => p ASCII -> Char -> c Source #
SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Associated Types type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps :: Type -> Constraint Source # Methods fromCharSymbol :: (Functor p, SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps c) => p Unicode_MathLatin_RomanGreek__BopomofoGaps -> Char -> c Source #

class UnicodeSymbols c where Source #

Methods

fromUnicodeSymbol :: Char -> c Source #

toUnicodeSymbols :: c -> String Source #

Instances

Instances details

UnicodeSymbols String Source #
Instance details Defined in CAS.Dumb.Symbols Methods fromUnicodeSymbol :: Char -> String Source # toUnicodeSymbols :: String -> String Source #

data ContextFixity Source #

Constructors

AtLHS Fixity
AtRHS Fixity
AtFunctionArgument

Instances

Instances details

Eq ContextFixity Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: ContextFixity -> ContextFixity -> Bool # (/=) :: ContextFixity -> ContextFixity -> Bool #

type RenderingCombinator σ c r Source #

Arguments

= Bool	Should the result be parenthesised?
-> Maybe r	Left context
-> SymbolD σ c	Central expressionfunctioninfix to render
-> Maybe r	Right context
-> r	Rendering result

class Eq (SpecialEncapsulation c) => RenderableEncapsulations c where Source #

Methods

fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ c) => CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) -> CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) Source #

Instances

Instances details

RenderableEncapsulations String Source #
Instance details Defined in CAS.Dumb.Symbols Methods fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ String) => CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) -> CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) Source #

class ASCIISymbols c where Source #

Methods

fromASCIISymbol :: Char -> c Source #

toASCIISymbols :: c -> String Source #

Instances

Instances details

ASCIISymbols String Source #
Instance details Defined in CAS.Dumb.Symbols Methods fromASCIISymbol :: Char -> String Source # toASCIISymbols :: String -> String Source #

data AlgebraicInvEncapsulation Source #

Constructors

Negation
Reciprocal

Instances

Instances details

Show AlgebraicInvEncapsulation Source #
Instance details Defined in CAS.Dumb.Symbols Methods showsPrec :: Int -> AlgebraicInvEncapsulation -> ShowS # show :: AlgebraicInvEncapsulation -> String # showList :: [AlgebraicInvEncapsulation] -> ShowS #
Eq AlgebraicInvEncapsulation Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: AlgebraicInvEncapsulation -> AlgebraicInvEncapsulation -> Bool # (/=) :: AlgebraicInvEncapsulation -> AlgebraicInvEncapsulation -> Bool #

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 #

Constructors

Encapsulation
Fields needInnerParens, haveOuterparens :: !Bool leftEncaps, rightEncaps :: !s
SpecialEncapsulation (SpecialEncapsulation s)

Instances

Instances details

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Expression c -> ShowS # show :: Expression c -> String # showList :: [Expression c] -> ShowS #
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Pattern c -> ShowS # show :: Pattern c -> String # showList :: [Pattern c] -> ShowS #
Eq (Encapsulation String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: Encapsulation String -> Encapsulation String -> Bool # (/=) :: Encapsulation String -> Encapsulation String -> Bool #
(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods pi :: AlgebraExpr' γ σ String # exp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sqrt :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (**) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # logBase :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1p :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # expm1 :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1pexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1mexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (+) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (-) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (*) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # negate :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # abs :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # signum :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromInteger :: Integer -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Fractional (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromRational :: Rational -> AlgebraExpr' γ σ String #
(ASCIISymbols c, RenderableEncapsulations c) => Show (CAS (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #
(ASCIISymbols c, RenderableEncapsulations c, Monoid c) => Show (CAS' GapId (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS' GapId (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #

type family SpecialEncapsulation s Source #

Instances

Instances details

type SpecialEncapsulation String Source #
Instance details Defined in CAS.Dumb.Symbols type SpecialEncapsulation String = AlgebraicInvEncapsulation

data Infix s Source #

Constructors

Infix
Fields symbolFixity :: !Fixity infixSymbox :: !s

Instances

Instances details

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Expression c -> ShowS # show :: Expression c -> String # showList :: [Expression c] -> ShowS #
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Pattern c -> ShowS # show :: Pattern c -> String # showList :: [Pattern c] -> ShowS #
Eq s => Eq (Infix s) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: Infix s -> Infix s -> Bool # (/=) :: Infix s -> Infix s -> Bool #
(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods pi :: AlgebraExpr' γ σ String # exp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sqrt :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (**) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # logBase :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1p :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # expm1 :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1pexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1mexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (+) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (-) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (*) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # negate :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # abs :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # signum :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromInteger :: Integer -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Fractional (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromRational :: Rational -> AlgebraExpr' γ σ String #
(ASCIISymbols c, RenderableEncapsulations c) => Show (CAS (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #
(ASCIISymbols c, RenderableEncapsulations c, Monoid c) => Show (CAS' GapId (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS' GapId (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #

data SymbolD σ c Source #

Constructors

NatSymbol !Integer
PrimitiveSymbol Char
StringSymbol c

Instances

Instances details

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Expression c -> ShowS # show :: Expression c -> String # showList :: [Expression c] -> ShowS #
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Pattern c -> ShowS # show :: Pattern c -> String # showList :: [Pattern c] -> ShowS #
Unwieldy c => Unwieldy (Symbol c) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods unwieldiness :: Symbol c -> Unwieldiness Source #
Unwieldy c => Unwieldy (Symbol c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods unwieldiness :: Symbol c -> Unwieldiness Source #
(SymbolClass σ, SCConstraint σ c, Eq c) => Eq (SymbolD σ c) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: SymbolD σ c -> SymbolD σ c -> Bool # (/=) :: SymbolD σ c -> SymbolD σ c -> Bool #
(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods pi :: AlgebraExpr' γ σ String # exp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sqrt :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (**) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # logBase :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1p :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # expm1 :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1pexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1mexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (+) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (-) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (*) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # negate :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # abs :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # signum :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromInteger :: Integer -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Fractional (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromRational :: Rational -> AlgebraExpr' γ σ String #
(ASCIISymbols c, RenderableEncapsulations c) => Show (CAS (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #
(ASCIISymbols c, RenderableEncapsulations c, Monoid c) => Show (CAS' GapId (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS' GapId (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #

don'tParenthesise :: Monoid s¹ => CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ Source #

symbolInfix Source #

Arguments

:: s²	The operator we want to describe
-> 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⁰ 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 Symbol = SymbolD 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.

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 #