Presentation.Yeamer.Maths

Convenience module, re-exporting the necessary LaTeX builders for writing maths in a Yeamer presentation.

Documentation

module Presentation.Yeamer

(&) :: a -> (a -> b) -> b infixl 1

& is a reverse application operator. This provides notational convenience. Its precedence is one higher than that of the forward application operator $, which allows & to be nested in $.

>>> 5 & (+1) & show
"6"

Since: base-4.8.0.0

(%$>) :: (SymbolClass σ, SCConstraint σ c) => (c -> c') -> CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c')

(&~~!) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l

(&~~:) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l

continueExpr :: (Eq l, Monoid l) => (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l) -> (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l) -> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l

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

expressionFixity :: AlgebraExpr σ c -> Maybe Fixity

normaliseSymbols :: (SymbolClass σ, SCConstraint σ c) => CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c)

renderSymbolExpression :: (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

symbolFunction :: Monoid s¹ => 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⁰

class ASCIISymbols c where

Methods

fromASCIISymbol :: Char -> c

toASCIISymbols :: c -> String

Instances

ASCIISymbols String

Defined in CAS.Dumb.Symbols

Methods

fromASCIISymbol :: Char -> String

toASCIISymbols :: String -> String

type AlgebraExpr σ l = CAS (Infix l) (Encapsulation l) (SymbolD σ l)

type AlgebraExpr' γ σ l = CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

type AlgebraPattern σ l = AlgebraExpr' GapId σ l

data AlgebraicInvEncapsulation

Constructors

Negation

Reciprocal

Instances

Eq AlgebraicInvEncapsulation

Defined in CAS.Dumb.Symbols

Methods

(==) :: AlgebraicInvEncapsulation -> AlgebraicInvEncapsulation -> Bool

(/=) :: AlgebraicInvEncapsulation -> AlgebraicInvEncapsulation -> Bool

Show AlgebraicInvEncapsulation

Defined in CAS.Dumb.Symbols

Methods

showsPrec :: Int -> AlgebraicInvEncapsulation -> ShowS

show :: AlgebraicInvEncapsulation -> String

showList :: [AlgebraicInvEncapsulation] -> ShowS

data ContextFixity

Constructors

AtLHS Fixity

AtRHS Fixity

AtFunctionArgument

Instances

Eq ContextFixity

Defined in CAS.Dumb.Symbols

Methods

(==) :: ContextFixity -> ContextFixity -> Bool

(/=) :: ContextFixity -> ContextFixity -> Bool

data Encapsulation s

Constructors

Encapsulation

Fields

• needInnerParens :: !Bool
• haveOuterparens :: !Bool
• leftEncaps :: !s
• rightEncaps :: !s

SpecialEncapsulation (SpecialEncapsulation s)

Instances

Eq (Encapsulation String)

Defined in CAS.Dumb.Symbols

Methods

(==) :: Encapsulation String -> Encapsulation String -> Bool

(/=) :: Encapsulation String -> Encapsulation String -> Bool

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c)

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)

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

showsPrec :: Int -> Pattern c -> ShowS

show :: Pattern c -> String

showList :: [Pattern c] -> ShowS

(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String)

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) => Fractional (AlgebraExpr' γ σ String)

Defined in CAS.Dumb.Symbols

Methods

(/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String

recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String

fromRational :: Rational -> AlgebraExpr' γ σ String

(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String)

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

type Scalar (LaTeXMath σ)

Defined in Math.LaTeX.Internal.MathExpr

type Scalar (LaTeXMath σ) = LaTeXMath σ

data Infix s

Constructors

Infix

Fields

• symbolFixity :: !Fixity
• infixSymbox :: !s

Instances

Eq s => Eq (Infix s)

Defined in CAS.Dumb.Symbols

Methods

(==) :: Infix s -> Infix s -> Bool

(/=) :: Infix s -> Infix s -> Bool

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c)

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)

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

showsPrec :: Int -> Pattern c -> ShowS

show :: Pattern c -> String

showList :: [Pattern c] -> ShowS

(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String)

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) => Fractional (AlgebraExpr' γ σ String)

Defined in CAS.Dumb.Symbols

Methods

(/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String

recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String

fromRational :: Rational -> AlgebraExpr' γ σ String

(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String)

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

type Scalar (LaTeXMath σ)

Defined in Math.LaTeX.Internal.MathExpr

type Scalar (LaTeXMath σ) = LaTeXMath σ

class Eq (SpecialEncapsulation c) => RenderableEncapsulations c where

Methods

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

Instances

RenderableEncapsulations String

Defined in CAS.Dumb.Symbols

Methods

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

type RenderingCombinator σ c r = Bool -> Maybe r -> SymbolD σ c -> Maybe r -> r

type family SpecialEncapsulation s :: Type

Instances

type SpecialEncapsulation String

Defined in CAS.Dumb.Symbols

type SpecialEncapsulation String = AlgebraicInvEncapsulation

type SpecialEncapsulation LaTeX

Defined in CAS.Dumb.LaTeX.Symbols

type SpecialEncapsulation LaTeX = LaTeXMathEncapsulation

class SymbolClass σ where

Associated Types

type SCConstraint σ :: Type -> Constraint

Methods

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

Instances

SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Associated Types

type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps :: Type -> Constraint

Methods

fromCharSymbol :: (Functor p, SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps c) => p Unicode_MathLatin_RomanGreek__BopomofoGaps -> Char -> c

data SymbolD σ c

Constructors

NatSymbol !Integer

PrimitiveSymbol Char

StringSymbol c

Instances

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c)

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)

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)

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

unwieldiness :: Symbol c -> Unwieldiness

(SymbolClass σ, SCConstraint σ c, Eq c) => Eq (SymbolD σ c)

Defined in CAS.Dumb.Symbols

Methods

(==) :: SymbolD σ c -> SymbolD σ c -> Bool

(/=) :: SymbolD σ c -> SymbolD σ c -> Bool

(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String)

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) => Fractional (AlgebraExpr' γ σ String)

Defined in CAS.Dumb.Symbols

Methods

(/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String

recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String

fromRational :: Rational -> AlgebraExpr' γ σ String

(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String)

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

type Scalar (LaTeXMath σ)

Defined in Math.LaTeX.Internal.MathExpr

type Scalar (LaTeXMath σ) = LaTeXMath σ

class UnicodeSymbols c where

Methods

fromUnicodeSymbol :: Char -> c

toUnicodeSymbols :: c -> String

Instances

UnicodeSymbols String

Defined in CAS.Dumb.Symbols

Methods

fromUnicodeSymbol :: Char -> String

toUnicodeSymbols :: String -> String

(&~!) :: (Eq s⁰, Eq s¹, Eq s², Show (CAS s² s¹ s⁰), Show (CAS' GapId s² s¹ s⁰)) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> CAS s² s¹ s⁰

(&~:) :: (Eq s⁰, Eq s¹, Eq s²) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> CAS s² s¹ s⁰

(&~?) :: (Eq s⁰, Eq s¹, Eq s²) => CAS s² s¹ s⁰ -> Eqspattern s² s¹ s⁰ -> [CAS s² s¹ s⁰]

underline :: LaTeXC l => l -> l

bar :: LaTeXC l => l -> l

dot :: LaTeXC l => l -> l

hat :: LaTeXC l => l -> l

tilde :: LaTeXC l => l -> l

vec :: LaTeXC l => l -> l

ddot :: LaTeXC l => l -> l

dcalculation :: (LaTeXC (m ()), LaTeXSymbol σ, Functor m) => LaTeXMath σ -> String -> m (LaTeXMath σ)

dmaths :: (LaTeXC r, LaTeXSymbol σ) => [[LaTeXMath σ]] -> String -> r

equations :: (LaTeXC r, LaTeXSymbol σ, HasCallStack) => [(LaTeXMath σ, String)] -> String -> r

(*..*) :: MathsInfix

(+..+) :: MathsInfix

(-\-) :: MathsInfix

(-→) :: MathsInfix

(...) :: MathsInfix

(/⊂) :: MathsInfix

(<.<) :: MathsInfix

(<.≤) :: MathsInfix

(<==) :: MathsInfix

(<=>) :: MathsInfix

(<،>) :: MathsInfix

(==>) :: MathsInfix

(=→) :: MathsInfix

(=⸪) :: MathsInfix

cases :: LaTeXC l => [(CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), LaTeX)] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

d :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> Integrand γ (Infix l) (Encapsulation l) s⁰

del :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)

factorial :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

infty :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)

intv :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

matrix :: LaTeXC l => [[CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)]] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

nabla :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)

nobreaks :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

norm :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

set :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

setCompr :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

toMathLaTeX :: (l ~ LaTeX, SymbolClass σ, SCConstraint σ l) => CAS (Infix l) (Encapsulation l) (SymbolD σ l) -> l

tup :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(|◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)

(|◞) :: MathsInfix

(|◞◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> (CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s), CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)

(°) :: MathsInfix

(±) :: MathsInfix

(×) :: MathsInfix

(،) :: MathsInfix

(،..،) :: MathsInfix

(⁀) :: MathsInfix

(₌₌) :: MathsInfix

(←-) :: MathsInfix

(←=) :: MathsInfix

(↦) :: MathsInfix

(↪) :: MathsInfix

(∀:) :: MathsInfix

(∃:) :: MathsInfix

(∄:) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰

(∈) :: MathsInfix

(∉) :: MathsInfix

(∋) :: MathsInfix

(∌) :: MathsInfix

(∏) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(∑) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(∓) :: MathsInfix

(∖) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰

(∗) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰

(∘) :: MathsInfix

(∝) :: MathsInfix

(∥) :: MathsInfix

(∧) :: MathsInfix

(∨) :: MathsInfix

(∩) :: MathsInfix

(∪) :: MathsInfix

(∫) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(∼) :: MathsInfix

(≃) :: MathsInfix

(≅) :: MathsInfix

(≈) :: MathsInfix

(≠) :: MathsInfix

(≡) :: MathsInfix

(≤) :: MathsInfix

(≤.<) :: MathsInfix

(≤.≤) :: MathsInfix

(≥) :: MathsInfix

(≪) :: MathsInfix

(≫) :: MathsInfix

(⊂) :: MathsInfix

(⊃) :: MathsInfix

(⊆) :: MathsInfix

(⊇) :: MathsInfix

(⊎) :: MathsInfix

(⊕) :: MathsInfix

(⊗) :: MathsInfix

(⋂) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(⋃) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(⋆) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰

(␣) :: MathsInfix

(◝) :: MathsInfix

(◝⁀) :: MathsInfix

(◞) :: MathsInfix

(◞∏) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(◞∑) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(◞∫) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(◞∮) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(◞⋂) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(◞⋃) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(◞◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> (CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s), CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)

(◞⨄) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(⟂) :: MathsInfix

(⧵) :: MathsInfix

(⨄) :: LaTeXC l => (CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)

(⩵) :: MathsInfix

(⩵!) :: MathsInfix

(⪡) :: MathsInfix

(⪢) :: MathsInfix

(⸪) :: MathsInfix

(⸪=) :: MathsInfix

(>$) :: LaTeXC r => r -> LaTeXMath__MathLatin_RomanGreek__BopomofoGaps -> r

prime :: LaTeXC l => l -> l

(|->) :: CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰ -> Equality' γ s² 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¹ ζ

α :: Expression' γ s² s¹ ζ

β :: Expression' γ s² s¹ ζ

γ :: Expression' γ s² s¹ ζ

δ :: Expression' γ s² s¹ ζ

ε :: Expression' γ s² s¹ ζ

ζ :: Expression' γ s² s¹ ζ

η :: Expression' γ s² s¹ ζ

θ :: Expression' γ s² s¹ ζ

ι :: Expression' γ s² s¹ ζ

κ :: Expression' γ s² s¹ ζ

λ :: Expression' γ s² s¹ ζ

μ :: Expression' γ s² s¹ ζ

ν :: Expression' γ s² s¹ ζ

ξ :: Expression' γ s² s¹ ζ

ο :: Expression' γ s² s¹ ζ

π :: Expression' γ s² s¹ ζ

ρ :: Expression' γ s² s¹ ζ

ς :: Expression' γ s² s¹ ζ

σ :: Expression' γ s² s¹ ζ

τ :: Expression' γ s² s¹ ζ

υ :: Expression' γ s² s¹ ζ

φ :: Expression' γ s² s¹ ζ

χ :: Expression' γ s² s¹ ζ

ψ :: Expression' γ s² s¹ ζ

ω :: Expression' γ s² s¹ ζ

ϑ :: Expression' γ s² s¹ ζ

ϕ :: Expression' γ 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¹ ζ

ℎ :: 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¹ ζ

ㄅ :: 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⁰

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¹ ζ

𝐚 :: Expression' γ s² s¹ ζ

𝐛 :: Expression' γ s² s¹ ζ

𝐜 :: Expression' γ s² s¹ ζ

𝐝 :: Expression' γ s² s¹ ζ

𝐞 :: Expression' γ s² s¹ ζ

𝐟 :: Expression' γ s² s¹ ζ

𝐠 :: Expression' γ s² s¹ ζ

𝐡 :: Expression' γ s² s¹ ζ

𝐢 :: Expression' γ s² s¹ ζ

𝐣 :: Expression' γ s² s¹ ζ

𝐤 :: Expression' γ s² s¹ ζ

𝐥 :: Expression' γ s² s¹ ζ

𝐦 :: Expression' γ s² s¹ ζ

𝐧 :: Expression' γ s² s¹ ζ

𝐨 :: Expression' γ s² s¹ ζ

𝐩 :: Expression' γ s² s¹ ζ

𝐪 :: Expression' γ s² s¹ ζ

𝐫 :: Expression' γ s² s¹ ζ

𝐬 :: Expression' γ s² s¹ ζ

𝐭 :: Expression' γ s² s¹ ζ

𝐮 :: Expression' γ s² s¹ ζ

𝐯 :: Expression' γ s² s¹ ζ

𝐰 :: Expression' γ s² s¹ ζ

𝐱 :: Expression' γ s² s¹ ζ

𝐲 :: Expression' γ 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¹ ζ

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

𝑎 :: Expression' γ s² s¹ ζ

𝑏 :: Expression' γ s² s¹ ζ

𝑐 :: Expression' γ s² s¹ ζ

𝑑 :: Expression' γ s² s¹ ζ

𝑒 :: Expression' γ s² s¹ ζ

𝑓 :: Expression' γ s² s¹ ζ

𝑔 :: Expression' γ s² s¹ ζ

𝑖 :: Expression' γ s² s¹ ζ

𝑗 :: Expression' γ s² s¹ ζ

𝑘 :: Expression' γ s² s¹ ζ

𝑙 :: Expression' γ s² s¹ ζ

𝑚 :: Expression' γ s² s¹ ζ

𝑛 :: Expression' γ s² s¹ ζ

𝑜 :: Expression' γ s² s¹ ζ

𝑝 :: Expression' γ s² s¹ ζ

𝑞 :: Expression' γ s² s¹ ζ

𝑟 :: Expression' γ s² s¹ ζ

𝑠 :: Expression' γ s² s¹ ζ

𝑡 :: Expression' γ s² s¹ ζ

𝑢 :: Expression' γ s² s¹ ζ

𝑣 :: Expression' γ s² s¹ ζ

𝑤 :: Expression' γ s² s¹ ζ

𝑥 :: Expression' γ s² s¹ ζ

𝑦 :: Expression' γ 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¹ ζ

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¹ ζ

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¹ ζ

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¹ ζ

type LaTeXMath σ = CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)

type LaTeXSymbol σ = (SymbolClass σ, SCConstraint σ LaTeX)

type LaTeXMath__MathLatin_RomanGreek__BopomofoGaps = CAS (Infix LaTeX) (Encapsulation LaTeX) (Symbol LaTeX)

type Expression c = Expression' Void (Infix c) (Encapsulation c) c

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

type Pattern c = Expression' GapId (Infix c) (Encapsulation c) c

type Symbol = SymbolD Unicode_MathLatin_RomanGreek__BopomofoGaps

data Unicode_MathLatin_RomanGreek__BopomofoGaps

Instances

SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Associated Types

type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps :: Type -> Constraint

Methods

fromCharSymbol :: (Functor p, SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps c) => p Unicode_MathLatin_RomanGreek__BopomofoGaps -> Char -> c

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c)

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)

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)

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

Methods

unwieldiness :: Symbol c -> Unwieldiness

type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps

Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps

type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps = UnicodeSymbols

type Math = Expression LaTeX