CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

This module contains a collection of symbols that should be sufficient for usage in most algebra applications. It avoids polluting the namespace with single-letter variables (which are often used as local variables, leading to shadowing issues), by replacing also the Latin letters with less common Unicode symbols. If you're not concerned with this and prefer symbols that can directly be entered on any Western keyboard, use the CAS.Dumb.Symbols.ASCII module instead.

Documentation

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

“Constant variable” symbols

Lowercase letters

Unicode mathematical italic letters. Italic is the default way maths symbols appear in e.g. LaTeX-rendered documents, thus it makes sense to use them here.

𝑎 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑏 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑐 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑑 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑒 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑓 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑔 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ℎ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑖 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑗 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑘 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑙 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑚 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑛 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑝 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑞 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑟 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑠 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑡 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑢 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑣 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑤 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑥 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑦 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝑧 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

Bold

𝐚 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐛 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐜 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐝 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐞 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐟 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐠 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐡 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐢 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐣 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐤 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐥 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐦 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐧 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐨 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐩 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐪 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐫 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐬 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐭 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐮 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐯 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐰 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐱 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐲 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

𝐳 :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

Greek

α :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

β :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

γ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

δ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ε :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ζ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

η :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

θ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ϑ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ι :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

κ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

λ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

μ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ν :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ξ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ο :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

π :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ρ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ϱ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

σ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ς :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

τ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

υ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ϕ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

φ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

χ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ψ :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

ω :: forall γ s¹ s² ζ. Expression' γ s² s¹ ζ

Uppercase letters

These are only available in GHC>8.2. The ability to use uppercase letters as variables hinges on a hack using GHC's still recent pattern synonyms feature.

You can use the CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek.Qualified module if this causes you any trouble; there, all symbols are prefixed with sym and therefore the uppercase ones are still normal lowercase names in the Haskell code.

Italic

pattern 𝐴 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐵 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐶 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐷 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐸 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐹 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐺 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐻 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐼 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐽 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐾 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐿 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑀 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑁 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑂 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑃 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑅 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑆 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑇 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑈 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑉 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑋 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑌 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝑍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

Bold

pattern 𝐀 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐁 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐂 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐃 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐅 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐆 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐇 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐈 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐉 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐋 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐌 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐎 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐏 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐑 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐒 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐓 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐔 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐕 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐖 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐗 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐘 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝐙 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

Blackboard (LaTeX subset)

pattern ℂ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℍ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℕ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℚ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℝ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℤ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

Blackboard (nonstandard)

pattern 𝔸 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔹 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔻 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔼 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔽 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔾 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕀 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕁 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕂 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕃 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕆 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕋 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕌 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕎 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕏 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝕐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

Script

pattern 𝒜 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℬ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒞 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒟 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℰ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℱ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒢 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℋ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℐ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒥 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒦 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℒ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℳ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒩 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒪 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒫 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒬 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℛ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒮 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒯 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒰 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒱 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒲 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒳 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒴 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝒵 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

Calligraphic / bold-script

pattern 𝓐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓑 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓒 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓓 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓔 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓕 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓖 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓗 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓘 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓙 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓚 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓛 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓜 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓝 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓞 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓟 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓠 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓡 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓢 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓣 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓤 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓥 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓦 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓧 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓨 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝓩 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

Fraktur

pattern 𝔄 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔅 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℭ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔇 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔈 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔉 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔊 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℌ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℑ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔍 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔎 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔏 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔐 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔑 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔒 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔓 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔔 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern ℜ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔖 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔗 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔘 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔙 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔚 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔛 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern 𝔜 :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

Greek (LaTeX subset)

These are the uppercase greek letters that don't have latin lookalikes. Only these are supported in LaTeX, so for doing maths it's probably best to stick to this subset.

pattern Γ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Δ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Θ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Λ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Ξ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Π :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Σ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Υ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Φ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Ψ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Ω :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

Greek (Latin-lookalike)

pattern Α :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Β :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Ε :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Ζ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Η :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Ι :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Κ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Μ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Ν :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Ο :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Ρ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Τ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

pattern Χ :: forall γ s² s¹ ζ. Expression' γ s² s¹ ζ

Pattern-matching variable symbols

Using a non-European alphabet such as Bopomofo for Gaps (which are always only temporary placeholders that, unlike Symbols, should never appear in any program output) has the advantage of keeping the namespace clean and avoiding ambiguities.

Most of these symbols can easily be entered as Vim digraphs, namely by combining a (latin) letter with the number 4. For instance, ctrl-k e 4 generates the symbol ㄜ U+311C BOPOMOFO LETTER E.

ㄅ :: CAS' GapId s² s¹ s⁰

ㄆ :: CAS' GapId s² s¹ s⁰

ㄇ :: CAS' GapId s² s¹ s⁰

ㄈ :: CAS' GapId s² s¹ s⁰

ㄉ :: CAS' GapId s² s¹ s⁰

ㄊ :: CAS' GapId s² s¹ s⁰

ㄋ :: CAS' GapId s² s¹ s⁰

ㄌ :: CAS' GapId s² s¹ s⁰

ㄍ :: CAS' GapId s² s¹ s⁰

ㄎ :: CAS' GapId s² s¹ s⁰

ㄏ :: CAS' GapId s² s¹ s⁰

ㄐ :: CAS' GapId s² s¹ s⁰

ㄑ :: CAS' GapId s² s¹ s⁰

ㄒ :: CAS' GapId s² s¹ s⁰

ㄓ :: CAS' GapId s² s¹ s⁰

ㄔ :: CAS' GapId s² s¹ s⁰

ㄕ :: CAS' GapId s² s¹ s⁰

ㄖ :: CAS' GapId s² s¹ s⁰

ㄗ :: CAS' GapId s² s¹ s⁰

ㄘ :: CAS' GapId s² s¹ s⁰

ㄙ :: CAS' GapId s² s¹ s⁰

ㄚ :: CAS' GapId s² s¹ s⁰

ㄛ :: CAS' GapId s² s¹ s⁰

ㄜ :: CAS' GapId s² s¹ s⁰

ㄝ :: CAS' GapId s² s¹ s⁰

ㄞ :: CAS' GapId s² s¹ s⁰

ㄟ :: CAS' GapId s² s¹ s⁰

ㄠ :: CAS' GapId s² s¹ s⁰

ㄡ :: CAS' GapId s² s¹ s⁰

ㄢ :: CAS' GapId s² s¹ s⁰

ㄣ :: CAS' GapId s² s¹ s⁰

ㄤ :: CAS' GapId s² s¹ s⁰

ㄥ :: CAS' GapId s² s¹ s⁰

ㄦ :: CAS' GapId s² s¹ s⁰

ㄧ :: CAS' GapId s² s¹ s⁰

ㄨ :: CAS' GapId s² s¹ s⁰

ㄩ :: CAS' GapId s² s¹ s⁰

ㄪ :: CAS' GapId s² s¹ s⁰

ㄫ :: CAS' GapId s² s¹ s⁰

ㄬ :: CAS' GapId s² s¹ s⁰

Auxiliary

type Expression' γ s² s¹ c = CAS' γ s² s¹ (Symbol c)