Copyright | (c) Justus Sagemüller 2017 |
---|---|
License | GPL v3 |
Maintainer | (@) jsag $ hvl.no |
Stability | experimental |
Portability | requires GHC>7 extensions |
Safe Haskell | None |
Language | Haskell2010 |
- type LaTeXMath σ = CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)
- type LaTeXSymbol σ = (SymbolClass σ, SCConstraint σ LaTeX)
- type MathsInfix = forall γ σ. CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)
- atom :: l -> CAS' γ s² s¹ (SymbolD σ l)
- encapsulation :: l -> l -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- opL :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
- opR :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
- opN :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
- opL' :: LaTeXC l => Int -> (l -> l -> l) -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
- opR' :: LaTeXC l => Int -> (l -> l -> l) -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰
- opN' :: LaTeXC l => Int -> (l -> l -> 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
- (*..*) :: 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⁰
- factorial :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (∧) :: 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
- (∀:) :: 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
- (◞) :: MathsInfix
- (|◞) :: MathsInfix
- (₌₌) :: 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)
- (|◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s)
- (|◞◝) :: 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
- implicationOperators :: HashSet LaTeX
- (↦) :: MathsInfix
- (∉) :: MathsInfix
- (∈) :: MathsInfix
- (←=) :: MathsInfix
- (=→) :: MathsInfix
- (∌) :: MathsInfix
- (∋) :: MathsInfix
- (⊇) :: MathsInfix
- (⊆) :: MathsInfix
- (⊃) :: MathsInfix
- (/⊂) :: MathsInfix
- (⊂) :: MathsInfix
- (∥) :: MathsInfix
- (⟂) :: MathsInfix
- (∝) :: MathsInfix
- (≫) :: MathsInfix
- (≪) :: MathsInfix
- (≥) :: MathsInfix
- (≤) :: MathsInfix
- (⪢) :: MathsInfix
- (⪡) :: MathsInfix
- (≅) :: MathsInfix
- (≃) :: MathsInfix
- (∼) :: MathsInfix
- (≈) :: MathsInfix
- (≠) :: MathsInfix
- (⩵!) :: MathsInfix
- (≡) :: MathsInfix
- (=⸪) :: MathsInfix
- (⸪=) :: MathsInfix
- (⩵) :: MathsInfix
- relationOperators :: HashSet LaTeX
- del :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)
- nabla :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)
- infty :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX)
- newtype Integrand γ s² s¹ s⁰ = Integrand {
- getIntgrand :: CAS' γ s² s¹ s⁰
- d :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> Integrand γ (Infix l) (Encapsulation l) s⁰
- (∫) :: 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)
- (◞∫) :: 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) -> 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) (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) (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)
- (◞∏) :: 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) -> 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)
- norm :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- (،..،) :: MathsInfix
- (،) :: MathsInfix
- (...) :: MathsInfix
- (␣) :: MathsInfix
- juxtapositionOperators :: HashSet LaTeX
- matrix :: LaTeXC l => [[CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)]] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- cases :: LaTeXC l => [(CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), LaTeX)] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- set :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- tup :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- intv :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
- nobreaks :: 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)
- (<.<) :: MathsInfix
- (≤.<) :: MathsInfix
- (<.≤) :: MathsInfix
- (≤.≤) :: MathsInfix
- toMathLaTeX' :: forall σ l. (LaTeXC l, SymbolClass σ, SCConstraint σ LaTeX) => CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> l
- toMathLaTeX :: forall σ l. (l ~ LaTeX, SymbolClass σ, SCConstraint σ l) => CAS (Infix l) (Encapsulation l) (SymbolD σ l) -> l
- showLParen :: LaTeXC l => Bool -> l -> l
Documentation
type LaTeXMath σ = CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) Source #
Mathematical expressions to be typeset in LaTeX. Most of the functions in this library have more generic signatures, but all can be used with this type.
The σ
parameter specifies how single-symbol “literals” are used in your
Haskell code.
type LaTeXSymbol σ = (SymbolClass σ, SCConstraint σ LaTeX) Source #
The CAS.Dumb.Symbols.Unicode.*
modules offer symbols that can be rendered
in LaTeX.
type MathsInfix = forall γ σ. CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> CAS' γ (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) Source #
encapsulation :: l -> l -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
opL :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #
opR :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #
opN :: LaTeXC l => Int -> l -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #
opL' :: LaTeXC l => Int -> (l -> l -> l) -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #
opR' :: LaTeXC l => Int -> (l -> l -> l) -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #
opN' :: LaTeXC l => Int -> (l -> l -> l) -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #
(±) :: MathsInfix infixl 6 Source #
(∓) :: MathsInfix infixl 6 Source #
(⊕) :: MathsInfix infixl 6 Source #
(+..+) :: MathsInfix infixl 6 Source #
(×) :: MathsInfix infixl 7 Source #
(⊗) :: MathsInfix infixl 7 Source #
(∘) :: MathsInfix infixl 7 Source #
(*..*) :: MathsInfix infixl 7 Source #
(∗) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #
(⋆) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ Source #
factorial :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
(∧) :: MathsInfix infixr 3 Source #
(∨) :: MathsInfix infixr 3 Source #
(∩) :: MathsInfix infixr 3 Source #
(∪) :: MathsInfix infixr 2 Source #
(⊎) :: MathsInfix infixr 2 Source #
(-\-) :: MathsInfix infixl 2 Source #
Deprecated: Use (∖), i.e. U+2216 SET MINUS
(⧵) :: MathsInfix infixl 2 Source #
Deprecated: Use (∖), i.e. U+2216 SET MINUS. (You used U+29F5 REVERSE SOLIDUS OPERATOR)
(∖) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ infixl 2 Source #
(⸪) :: MathsInfix infixr 5 Source #
(-→) :: MathsInfix infixr 5 Source #
(←-) :: MathsInfix infixr 5 Source #
(↪) :: MathsInfix infixr 5 Source #
(∀:) :: MathsInfix infix 2 Source #
(∃:) :: MathsInfix infix 2 Source #
(∄:) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ infix 2 Source #
(°) :: MathsInfix infixl 7 Source #
(⁀) :: MathsInfix infixr 9 Source #
(◝) :: MathsInfix infixr 9 Source #
(◝⁀) :: MathsInfix infixr 9 Source #
(◞) :: MathsInfix infixr 9 Source #
(|◞) :: MathsInfix infixl 8 Source #
(₌₌) :: MathsInfix infixl 8 Source #
(◞◝) :: 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) infixl 8 Source #
(|◝) :: LaTeXC s => CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) -> CAS' γ (Infix s) (Encapsulation s) (SymbolD σ s) infixl 8 Source #
(|◞◝) :: 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) infixl 8 Source #
(<=>) :: MathsInfix infixl 1 Source #
(<==) :: MathsInfix infixl 1 Source #
(==>) :: MathsInfix infixl 1 Source #
(↦) :: MathsInfix infixl 4 Source #
(∉) :: MathsInfix infixl 4 Source #
(∈) :: MathsInfix infixl 4 Source #
(←=) :: MathsInfix infixl 4 Source #
(=→) :: MathsInfix infixl 4 Source #
(∌) :: MathsInfix infixl 4 Source #
(∋) :: MathsInfix infixl 4 Source #
(⊇) :: MathsInfix infixl 4 Source #
(⊆) :: MathsInfix infixl 4 Source #
(⊃) :: MathsInfix infixl 4 Source #
(/⊂) :: MathsInfix infixl 4 Source #
(⊂) :: MathsInfix infixl 4 Source #
(∥) :: MathsInfix infixl 4 Source #
(⟂) :: MathsInfix infixl 4 Source #
(∝) :: MathsInfix infixl 4 Source #
(≫) :: MathsInfix infixl 4 Source #
(≪) :: MathsInfix infixl 4 Source #
(≥) :: MathsInfix infixl 4 Source #
(≤) :: MathsInfix infixl 4 Source #
(⪢) :: MathsInfix infixl 4 Source #
(⪡) :: MathsInfix infixl 4 Source #
(≅) :: MathsInfix infixl 4 Source #
(≃) :: MathsInfix infixl 4 Source #
(∼) :: MathsInfix infixl 4 Source #
(≈) :: MathsInfix infixl 4 Source #
(≠) :: MathsInfix infixl 4 Source #
(⩵!) :: MathsInfix infixl 4 Source #
(≡) :: MathsInfix infixl 4 Source #
(=⸪) :: MathsInfix infixl 4 Source #
(⸪=) :: MathsInfix infixl 4 Source #
(⩵) :: MathsInfix infixl 4 Source #
del :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX) Source #
nabla :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX) Source #
infty :: (SymbolClass σ, SCConstraint σ LaTeX) => CAS' γ s² s¹ (SymbolD σ LaTeX) Source #
d :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) s⁰ -> CAS' γ (Infix l) (Encapsulation l) s⁰ -> Integrand γ (Infix l) (Encapsulation l) s⁰ Source #
(∫) :: 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) infixr 8 Source #
(◞∫) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞∮) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> Integrand γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(∑) :: 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) infixr 8 Source #
(∏) :: 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) infixr 8 Source #
(⋃) :: 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) infixr 8 Source #
(⋂) :: 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) infixr 8 Source #
(⨄) :: 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) infixr 8 Source #
(◞∑) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞∏) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞⋃) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞⋂) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
(◞⨄) :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) infixr 8 Source #
norm :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
(،..،) :: MathsInfix infixr 0 Source #
(،) :: MathsInfix infixr 0 Source #
(...) :: MathsInfix infixr 0 Source #
(␣) :: MathsInfix infixr 0 Source #
matrix :: LaTeXC l => [[CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)]] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
cases :: LaTeXC l => [(CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l), LaTeX)] -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
set :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
tup :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
intv :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
nobreaks :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
setCompr :: LaTeXC l => CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) -> CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #
(<.<) :: MathsInfix infix 5 Source #
(≤.<) :: MathsInfix infix 5 Source #
(<.≤) :: MathsInfix infix 5 Source #
(≤.≤) :: MathsInfix infix 5 Source #
toMathLaTeX' :: forall σ l. (LaTeXC l, SymbolClass σ, SCConstraint σ LaTeX) => CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX) -> l Source #
toMathLaTeX :: forall σ l. (l ~ LaTeX, SymbolClass σ, SCConstraint σ l) => CAS (Infix l) (Encapsulation l) (SymbolD σ l) -> l Source #
showLParen :: LaTeXC l => Bool -> l -> l Source #
Orphan instances
LaTeXSymbol σ => VectorSpace (LaTeXMath σ) Source # | |
LaTeXSymbol σ => InnerSpace (LaTeXMath σ) Source # | |
LaTeXSymbol σ => AdditiveGroup (LaTeXMath σ) Source # | |
(SymbolClass σ, SCConstraint σ LaTeX) => Semigroup (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)) Source # | |
(SymbolClass σ, SCConstraint σ LaTeX) => Monoid (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)) Source # | |
(SymbolClass σ, SCConstraint σ LaTeX, IsString (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX))) => LaTeXC (CAS (Infix LaTeX) (Encapsulation LaTeX) (SymbolD σ LaTeX)) Source # | |
((~) * γ Void, (~) * s² (Infix LaTeX), (~) * s¹ (Encapsulation LaTeX), (~) * s⁰ (SymbolD σ LaTeX), SymbolClass σ, SCConstraint σ LaTeX) => Texy (CAS' γ s² s¹ s⁰) Source # | |