CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek.Qualified

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.𝑋'

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bold

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Greek

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Uppercase letters

Italic

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bold

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Blackboard (LaTeX subset)

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

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

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

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

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

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

Blackboard (nonstandard)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Script

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Calligraphic / bold-script

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Fraktur

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

sym𝔜 :: 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.

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

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

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

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

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

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

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

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

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

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

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

Greek (Latin-lookalike)

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

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

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

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

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

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

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

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

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

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

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

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

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

Auxiliary

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