Text.LaTeX.Packages.AMSMath

AMSMath support. Also numeric instances (Num, Fractional and Floating) for LaTeX and LaTeXT.

AMSMath package

amsmath :: PackageName

AMSMath package. Example:

usepackage [] amsmath

Math Environments

math :: LaTeXC l => l -> l

Inline mathematical expressions.

mathDisplay :: LaTeXC l => l -> l

Displayed mathematical expressions, i.e. in a seperate line / block.

equation :: LaTeXC l => l -> l

A numbered mathematical equation (or otherwise math expression).

equation_ :: LaTeXC l => l -> l

The unnumbered variant of equation.

align :: LaTeXC l => [l] -> l

An array of aligned equations. Use & to specify the points that should horizontally match. Each equation is numbered, unless prevented by nonumber.

align_ :: LaTeXC l => [l] -> l

The unnumbered variant of align.

cases :: LaTeXC l => l -> l

The cases environment allows the writing of piecewise functions

Referencing

eqref :: LaTeXC l => l -> l

A reference to a numbered equation. Use with a label defined in the scope of the equation refered to.

nonumber :: LaTeXC l => l

Prevent an equation from being numbered, where the environment would by default do that.

Symbols and utilities

The unicode approximations do, of course, not reliably represent how LaTeX renders these symbols.

Brackets / delimiters

autoParens :: LaTeXC l => l -> l

Surround a LaTeX math expression by parentheses whose height automatically matches the expression's. Translates to \left(...\right).

autoSquareBrackets :: LaTeXC l => l -> l

Like autoParens, but with square brackets. Equivalent to autoBrackets"[""]".

autoBraces :: LaTeXC l => l -> l

Like autoParens, but with curly brackets.

autoAngleBrackets :: LaTeXC l => l -> l

Like autoParens, but with angle brackets 〈 ... 〉. Equivalent to autoBrackets langle rangle.

autoBrackets :: LaTeXC l => LaTeX -> LaTeX -> l -> l

Use custom LaTeX expressions as auto-scaled delimiters to surround math. Suitable delimiters include |...| (absolute value), ‖...‖ (norm, dblPipe), ⌊...⌋ (round-off Gauss brackets, lfloor / rfloor) etc..

langle :: LaTeXC l => l

Left angle bracket, 〈.

rangle :: LaTeXC l => l

Right angle bracket, 〉.

lfloor :: LaTeXC l => l

Left floor, ⌊.

rfloor :: LaTeXC l => l

Right floor, ⌋.

lceil :: LaTeXC l => l

Left ceiling, ⌈.

rceil :: LaTeXC l => l

Right ceiling, ⌉.

dblPipe :: LaTeXC l => l

Double vertical line, used as delimiter for norms (‖ ... ‖).

Superscript and subscript

(^:) :: LaTeXC l => l -> l -> l

Superscript.

(!:) :: LaTeXC l => l -> l -> l

Subscript.

(!^) :: LaTeXC l => l -> (l, l) -> l

Sub- and superscript, both stacked.

Function symbols

Some symbols are preceded with t to be distinguished from predefined Haskell entities (like sin and cos).

tsin :: LaTeXC l => l

Sine function symbol.

arcsin :: LaTeXC l => l

Arcsine function symbol.

tcos :: LaTeXC l => l

Cosine function symbol.

arccos :: LaTeXC l => l

Arccosine function symbol.

ttan :: LaTeXC l => l

Tangent function symbol.

arctan :: LaTeXC l => l

Arctangent function symbol.

cot :: LaTeXC l => l

Cotangent function symbol.

arccot :: LaTeXC l => l

Arccotangent function symbol.

tsinh :: LaTeXC l => l

Hyperbolic sine function symbol.

tcosh :: LaTeXC l => l

Hyperbolic cosine function symbol.

ttanh :: LaTeXC l => l

Hyperbolic tangent function symbol.

coth :: LaTeXC l => l

Hyperbolic cotangent function symbol.

sec :: LaTeXC l => l

Secant function symbol.

csc :: LaTeXC l => l

Cosecant function symbol.

texp :: LaTeXC l => l

Exponential function symbol.

tlog :: LaTeXC l => l

Logarithm function symbol.

ln :: LaTeXC l => l

Natural logarithm symbol.

tsqrt :: LaTeXC l => Maybe l -> l -> l

Root notation. Use tsqrt (Just n) x for the nth root of x. When Nothing is supplied, the function will output a square root.

Custom function symbols

operatorname :: LaTeXC l => l -> l

Defines a new function symbol. Note that function symbols defined in this way will not be automatically translated by babel.

Summation / integration / differentiation

tsum :: LaTeXC l => l

Sigma sumation symbol. Use sumFromTo instead if you want to specify the limits of the sum.

sumFromTo

Arguments

:: LaTeXC l

=> l

Expression below the sigma.

-> l

Expression above the sigma.

-> l

Sigma sumation symbol with limits.

prod :: LaTeXC l => l

Pi product symbol. Use prodFromTo if you want to specify the limits of the product.

prodFromTo

Arguments

:: LaTeXC l

=> l

Expression below the pi.

-> l

Expression above the pi.

-> l

Pi product symbol with limits.

integral :: LaTeXC l => l

Integral symbol. Use integralFromTo if you want to specify the limits of the integral.

integralFromTo

Arguments

:: LaTeXC l

=> l

Lower limit of integration.

-> l

Upper limit of integration.

-> l

Integral symbol with limits of integration.

partial :: LaTeXC l => l

Partial-differentiation symbol ∂

totald :: LaTeXC l => l

Total-differentiation (or integration-variable) symbol d (non-italic!)

partialOf :: LaTeXC l => l -> l

Partial-differentiation of variable, e.g. ∂x.

totaldOf :: LaTeXC l => l -> l

Total-differentiation of variable, or integration over variable, e.g. dx.

Operator symbols

Arithmetic

(+-) :: LaTeXC l => l -> l -> l infixl 6

Plus-or-minus operator (±). Also available as symbol pm.

(-+) :: LaTeXC l => l -> l -> l infixl 6

Minus-or-plus operator (∓). Also available as symbol mp.

cdot :: LaTeXC l => l -> l -> l

Centered-dot operator (⋅).

times :: LaTeXC l => l -> l -> l

"x-cross" multiplication operator (×).

div_ :: LaTeXC l => l -> l -> l

Division operator.

frac :: LaTeXC l => l -> l -> l

Fraction operator.

tfrac :: LaTeXC l => l -> l -> l

Like frac but smaller (uses subscript size for the numerator and denominator.

(*:) :: LaTeXC l => l -> l -> l infixl 7

Asterisk operator (*).

infixl 7 *:

star :: LaTeXC l => l -> l -> l

Star operator (★).

circ :: LaTeXC l => l -> l -> l

Ring operator (∘).

bullet :: LaTeXC l => l -> l -> l

Bullet operator (∙).

Comparison

(=:) :: LaTeXC l => l -> l -> l infixr 4

Equal.

infixr 4 =:

(/=:) :: LaTeXC l => l -> l -> l infixr 4

Not equal (≠).

infixr 4 /=:

(<:) :: LaTeXC l => l -> l -> l

Lesser.

(<=:) :: LaTeXC l => l -> l -> l

Lesser or equal (≤).

(>:) :: LaTeXC l => l -> l -> l

Greater.

(>=:) :: LaTeXC l => l -> l -> l

Greater or equal (≥).

ll :: LaTeXC l => l -> l -> l

Much less (≪).

gg :: LaTeXC l => l -> l -> l

Much greater (≫).

equiv :: LaTeXC l => l -> l -> l

Identical / defined-as / equivalent (≡).

propto :: LaTeXC l => l -> l -> l

Proportional-to (∝).

parallel :: LaTeXC l => l -> l -> l

Parallel (‖).

perp :: LaTeXC l => l -> l -> l

Perpendicular (⟂). This is the infix version of bot.

Sets

in_ :: LaTeXC l => l -> l -> l

Element-of (∈).

ni :: LaTeXC l => l -> l -> l

Mirrored element-of (∋).

notin :: LaTeXC l => l -> l -> l

Not element of (∉).

subset :: LaTeXC l => l -> l -> l

Subset-of (⊂).

supset :: LaTeXC l => l -> l -> l

Superset-of (⊃).

cap :: LaTeXC l => l -> l -> l

Set intersection (∩).

cup :: LaTeXC l => l -> l -> l

Set union (∪).

setminus :: LaTeXC l => l -> l -> l

Set minus (∖).

Misc operators

vee :: LaTeXC l => l -> l -> l

Angle pointing downwards (∨).

wedge :: LaTeXC l => l -> l -> l

Angle pointing upwards (∧).

oplus :: LaTeXC l => l -> l -> l

Circled plus operator (⊕).

ominus :: LaTeXC l => l -> l -> l

Circled minus operator (⊖).

otimes :: LaTeXC l => l -> l -> l

Circled multiplication cross (⊗).

oslash :: LaTeXC l => l -> l -> l

Circled slash (⊘).

odot :: LaTeXC l => l -> l -> l

Circled dot operator (⊙).

Accents

hat :: LaTeXC l => l -> l

Add a hat accent above a symbol.

tilde :: LaTeXC l => l -> l

Add a tilde accent above a symbol.

bar :: LaTeXC l => l -> l

Add a bar accent above a symbol.

vec :: LaTeXC l => l -> l

Add a vector arrow accent above a symbol.

widehat :: LaTeXC l => l -> l

Add a wide hat accent above a symbol.

widetilde :: LaTeXC l => l -> l

Add a wide tilde accent above a symbol.

dot :: LaTeXC l => l -> l

Add a dot accent above a symbol, as used to denote a derivative.

ddot :: LaTeXC l => l -> l

Add a dot accent above a symbol, as used to denote a second derivative.

dddot :: LaTeXC l => l -> l

Add a triple dot accent above a symbol, as used to denote a third derivative.

overline :: LaTeXC l => l -> l

Add a wide line accent above a symbol.

Greek alphabet

Functions of greek alphabet symbols.

Uppercase versions are suffixed with u. Variants are prefixed with var. The function pi_ is ended by an underscore symbol to distinguish it from the pi Prelude function.

alpha :: LaTeXC l => l

α symbol.

beta :: LaTeXC l => l

β symbol.

gamma :: LaTeXC l => l

γ symbol.

gammau :: LaTeXC l => l

Γ symbol.

delta :: LaTeXC l => l

δ symbol.

deltau :: LaTeXC l => l

Δ symbol.

epsilon :: LaTeXC l => l

ϵ symbol.

varepsilon :: LaTeXC l => l

ε symbol.

zeta :: LaTeXC l => l

ζ symbol.

eta :: LaTeXC l => l

η symbol.

theta :: LaTeXC l => l

θ symbol.

vartheta :: LaTeXC l => l

ϑ symbol.

thetau :: LaTeXC l => l

Θ symbol.

iota :: LaTeXC l => l

ι symbol.

kappa :: LaTeXC l => l

κ symbol.

lambda :: LaTeXC l => l

λ symbol.

lambdau :: LaTeXC l => l

Λ symbol.

mu :: LaTeXC l => l

μ symbol.

nu :: LaTeXC l => l

ν symbol.

xi :: LaTeXC l => l

ξ symbol.

xiu :: LaTeXC l => l

Ξ symbol.

pi_ :: LaTeXC l => l

π symbol.

varpi :: LaTeXC l => l

ϖ symbol.

piu :: LaTeXC l => l

Π symbol.

rho :: LaTeXC l => l

ρ symbol.

varrho :: LaTeXC l => l

ϱ symbol.

sigma :: LaTeXC l => l

σ symbol.

varsigma :: LaTeXC l => l

ς symbol.

sigmau :: LaTeXC l => l

Σ symbol.

tau :: LaTeXC l => l

τ symbol.

upsilon :: LaTeXC l => l

υ symbol.

upsilonu :: LaTeXC l => l

Υ symbol.

phi :: LaTeXC l => l

ϕ symbol.

varphi :: LaTeXC l => l

φ symbol.

phiu :: LaTeXC l => l

Φ symbol.

chi :: LaTeXC l => l

χ symbol.

psi :: LaTeXC l => l

ψ symbol.

psiu :: LaTeXC l => l

Ψ symbol.

omega :: LaTeXC l => l

ω symbol.

omegau :: LaTeXC l => l

Ω symbol.

Other symbols

pm :: LaTeXC l => l

Plus-or-minus symbol (±). Also available as infix +-.

mp :: LaTeXC l => l

Minus-or-plus symbol (∓).

to :: LaTeXC l => l

A right-arrow, →.

mapsto :: LaTeXC l => l

A right-arrow for function definitions, ↦.

implies :: LaTeXC l => l

An implication arrow, =⇒.

forall :: LaTeXC l => l

For all symbol, ∀.

exists :: LaTeXC l => l

Exists symbol, ∃.

dagger :: LaTeXC l => l

Dagger symbol, †.

ddagger :: LaTeXC l => l

Double dagger symbol, ‡.

infty :: LaTeXC l => l

Infinity symbol.

imath :: LaTeXC l => l

Dotless letter i. Strictly speaking this is not a part of the AMSMath package, but it is defined here for convenience.

jmath :: LaTeXC l => l

Dotless letter j. Strictly speaking this is not a part of the AMSMath package, but it is defined here for convenience.

bot :: LaTeXC l => l

Bottom symbol ⟂. For the infix version see perp.

Fonts

mathdefault :: LaTeXC l => l -> l

Default math symbol font.

mathbf :: LaTeXC l => l -> l

Bold face.

mathrm :: LaTeXC l => l -> l

Roman, i.e. not-italic math.

text :: LaTeXC l => l -> l

Escape from math mode, into a normal-text box. Unlike mathrm, this won't squash spaces, i.e. you can write actual sentences. You can embed math again within such a box.

mathcal :: LaTeXC l => l -> l

Calligraphic math symbols.

mathsf :: LaTeXC l => l -> l

Sans-serif math.

mathtt :: LaTeXC l => l -> l

Typewriter font.

mathit :: LaTeXC l => l -> l

Italic math. Uses the same glyphs as mathdefault, but with spacings intended for multi-character symbols rather than juxtaposition of single-character symbols.

Matrices

pmatrix :: (Texy a, LaTeXC l) => Maybe HPos -> Matrix a -> l

LaTeX rendering of a matrix using pmatrix and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing Nothing) is centered.

( M )

bmatrix :: (Texy a, LaTeXC l) => Maybe HPos -> Matrix a -> l

LaTeX rendering of a matrix using bmatrix and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing Nothing) is centered.

[ M ]

b2matrix :: (Texy a, LaTeXC l) => Maybe HPos -> Matrix a -> l

LaTeX rendering of a matrix using Bmatrix and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing Nothing) is centered.

{ M }

vmatrix :: (Texy a, LaTeXC l) => Maybe HPos -> Matrix a -> l

LaTeX rendering of a matrix using vmatrix and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing Nothing) is centered.

| M |

v2matrix :: (Texy a, LaTeXC l) => Maybe HPos -> Matrix a -> l

LaTeX rendering of a matrix using Vmatrix and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing Nothing) is centered.

|| M ||

Math spacing

quad :: LaTeXC l => l

quad space equal to the current font size (= 18 mu)

qquad :: LaTeXC l => l

qquad twice of quad (= 36 mu)

Orphan instances

Floating LaTeX

The asinh, atanh and acosh methods use custom operatornames and will not be automatically translated by babel. This instance is defined in the Text.LaTeX.Packages.AMSMath module.

Methods

pi :: LaTeX

exp :: LaTeX -> LaTeX

log :: LaTeX -> LaTeX

sqrt :: LaTeX -> LaTeX

(**) :: LaTeX -> LaTeX -> LaTeX

logBase :: LaTeX -> LaTeX -> LaTeX

sin :: LaTeX -> LaTeX

cos :: LaTeX -> LaTeX

tan :: LaTeX -> LaTeX

asin :: LaTeX -> LaTeX

acos :: LaTeX -> LaTeX

atan :: LaTeX -> LaTeX

sinh :: LaTeX -> LaTeX

cosh :: LaTeX -> LaTeX

tanh :: LaTeX -> LaTeX

asinh :: LaTeX -> LaTeX

acosh :: LaTeX -> LaTeX

atanh :: LaTeX -> LaTeX

log1p :: LaTeX -> LaTeX

expm1 :: LaTeX -> LaTeX

log1pexp :: LaTeX -> LaTeX

log1mexp :: LaTeX -> LaTeX

Fractional LaTeX

Division uses the LaTeX frac command. This instance is defined in the Text.LaTeX.Packages.AMSMath module.

Methods

(/) :: LaTeX -> LaTeX -> LaTeX

recip :: LaTeX -> LaTeX

fromRational :: Rational -> LaTeX

Num LaTeX

The signum method uses a custom operatorname and will not be automatically translated by babel. This instance is defined in the Text.LaTeX.Packages.AMSMath module.

Methods

(+) :: LaTeX -> LaTeX -> LaTeX

(-) :: LaTeX -> LaTeX -> LaTeX

(*) :: LaTeX -> LaTeX -> LaTeX

negate :: LaTeX -> LaTeX

abs :: LaTeX -> LaTeX

signum :: LaTeX -> LaTeX

fromInteger :: Integer -> LaTeX

Texy a => Texy [a]

Instance defined in Text.LaTeX.Packages.AMSMath.

Methods

texy :: LaTeXC l => [a] -> l

Texy a => Texy (Ratio a)

Instance defined in Text.LaTeX.Packages.AMSMath.

Methods

texy :: LaTeXC l => Ratio a -> l

Texy a => Texy (Matrix a)

Instance defined in Text.LaTeX.Packages.AMSMath.

Methods

texy :: LaTeXC l => Matrix a -> l

(Monad m, (~) * a ()) => Floating (LaTeXT m a)

Undefined methods: asinh, atanh and acosh. This instance is defined in the Text.LaTeX.Packages.AMSMath module.

Methods

pi :: LaTeXT m a

exp :: LaTeXT m a -> LaTeXT m a

log :: LaTeXT m a -> LaTeXT m a

sqrt :: LaTeXT m a -> LaTeXT m a

(**) :: LaTeXT m a -> LaTeXT m a -> LaTeXT m a

logBase :: LaTeXT m a -> LaTeXT m a -> LaTeXT m a

sin :: LaTeXT m a -> LaTeXT m a

cos :: LaTeXT m a -> LaTeXT m a

tan :: LaTeXT m a -> LaTeXT m a

asin :: LaTeXT m a -> LaTeXT m a

acos :: LaTeXT m a -> LaTeXT m a

atan :: LaTeXT m a -> LaTeXT m a

sinh :: LaTeXT m a -> LaTeXT m a

cosh :: LaTeXT m a -> LaTeXT m a

tanh :: LaTeXT m a -> LaTeXT m a

asinh :: LaTeXT m a -> LaTeXT m a

acosh :: LaTeXT m a -> LaTeXT m a

atanh :: LaTeXT m a -> LaTeXT m a

log1p :: LaTeXT m a -> LaTeXT m a

expm1 :: LaTeXT m a -> LaTeXT m a

log1pexp :: LaTeXT m a -> LaTeXT m a

log1mexp :: LaTeXT m a -> LaTeXT m a

(Monad m, (~) * a ()) => Fractional (LaTeXT m a)

Division uses the LaTeX frac command. This instance is defined in the Text.LaTeX.Packages.AMSMath module.

Methods

(/) :: LaTeXT m a -> LaTeXT m a -> LaTeXT m a

recip :: LaTeXT m a -> LaTeXT m a

fromRational :: Rational -> LaTeXT m a

(Monad m, (~) * a ()) => Num (LaTeXT m a)

Careful! Method signum is undefined. Don't use it! This instance is defined in the Text.LaTeX.Packages.AMSMath module.

Methods

(+) :: LaTeXT m a -> LaTeXT m a -> LaTeXT m a

(-) :: LaTeXT m a -> LaTeXT m a -> LaTeXT m a

(*) :: LaTeXT m a -> LaTeXT m a -> LaTeXT m a

negate :: LaTeXT m a -> LaTeXT m a

abs :: LaTeXT m a -> LaTeXT m a

signum :: LaTeXT m a -> LaTeXT m a

fromInteger :: Integer -> LaTeXT m a

(Texy a, Texy b) => Texy (a, b)

Instance defined in Text.LaTeX.Packages.AMSMath.

Methods

texy :: LaTeXC l => (a, b) -> l

(Texy a, Texy b, Texy c) => Texy (a, b, c)

Instance defined in Text.LaTeX.Packages.AMSMath.

Methods

texy :: LaTeXC l => (a, b, c) -> l

(Texy a, Texy b, Texy c, Texy d) => Texy (a, b, c, d)

Instance defined in Text.LaTeX.Packages.AMSMath.

Methods

texy :: LaTeXC l => (a, b, c, d) -> l