Copyright | (c) Justus Sagemüller 2017 |
---|---|
License | GPL v3 |
Maintainer | (@) jsagemue $ uni-koeln.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
This module contains a collection of symbols that should be sufficient for usage
in most algebra applications. It 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𝑋' ≡ 'CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps.𝑋'
- module CAS.Dumb.Symbols
- type Symbol = SymbolD Unicode_MathLatin_RomanGreek__BopomofoGaps
- type Expression c = Expression' Void (Infix c) (Encapsulation c) c
- type Pattern c = Expression' GapId (Infix c) (Encapsulation c) c
- sym𝑎 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑏 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑐 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑑 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑒 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑓 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑔 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℎ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑖 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑗 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑘 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑙 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑚 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑛 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑝 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑞 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑟 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑠 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑡 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑢 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑣 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑤 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑥 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑦 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑧 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐚 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐛 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐝 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐞 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐟 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐠 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐡 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐢 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐣 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐤 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐥 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐦 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐧 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐨 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐩 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐪 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐫 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐬 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐭 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐮 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐯 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐰 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐱 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐲 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐳 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symα :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symβ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symγ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symδ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symε :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symζ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symη :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symθ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symϑ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symι :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symκ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symλ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symμ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symν :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symξ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symο :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symπ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symρ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symϱ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symσ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symς :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symτ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symυ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symϕ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symφ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symχ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symψ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symω :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐴 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐵 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐶 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐷 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐸 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐹 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐺 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐻 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐼 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐽 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐾 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐿 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑀 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑁 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑂 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑃 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑄 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑅 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑆 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑇 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑈 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑉 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑊 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑋 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑌 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝑍 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐀 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐁 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐂 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐃 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐄 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐅 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐆 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐇 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐈 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐉 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐊 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐋 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐌 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐍 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐎 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐏 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐐 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐑 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐒 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐓 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐔 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐕 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐖 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐗 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐘 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝐙 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℂ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℍ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℕ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℚ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℝ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℤ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔸 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔹 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔻 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔼 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔽 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔾 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕀 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕁 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕂 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕃 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕄 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕆 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕊 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕋 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕌 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕍 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕎 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕏 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝕐 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℬ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒞 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒟 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℰ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℱ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒢 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℋ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℐ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒥 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒦 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℒ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℳ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒩 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒪 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒫 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒬 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℛ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒮 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒯 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒰 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒱 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒲 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒳 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒴 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝒵 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓐 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓑 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓒 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓓 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓔 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓕 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓖 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓗 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓘 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓙 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓚 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓛 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓝 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓞 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓟 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓠 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓡 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓢 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓣 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓤 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓥 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓦 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓧 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓨 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝓩 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔄 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔅 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℭ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔇 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔈 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔉 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔊 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℌ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℑ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔍 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔎 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔏 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔐 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔑 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔒 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔓 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔔 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symℜ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔖 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔗 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔘 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔙 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔚 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔛 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- sym𝔜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΓ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΔ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΘ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΛ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΞ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΠ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΣ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΥ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΦ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΨ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΩ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΑ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΒ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΕ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΖ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΗ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΙ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΚ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΜ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΝ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ
- symΟ :: forall γ s¹ s² ζ. 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
module CAS.Dumb.Symbols
type Expression c = Expression' Void (Infix c) (Encapsulation c) c Source #
type Pattern c = Expression' GapId (Infix c) (Encapsulation c) c Source #
“Constant variable” symbols
Lowercase letters
Unicode mathematical italic letters. Italic is the default way maths symbols appear in e.g. LaTeX-rendered documents, thus it makes sense to use them here.
sym𝑎 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑏 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑐 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑑 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑒 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑓 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑔 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
symℎ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑖 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑗 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑘 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑙 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑚 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑛 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑝 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑞 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑟 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑠 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑡 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑢 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑣 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
sym𝑤 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ Source #
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 #