HaTeX-3.16.1.1: The Haskell LaTeX library.

Safe HaskellNone
LanguageHaskell2010

Text.LaTeX.Packages.AMSMath

Contents

Description

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

Synopsis

AMSMath package

amsmath :: PackageName Source

AMSMath package. Example:

usepackage [] amsmath

Math Environments

math :: LaTeXC l => l -> l Source

Inline mathematical expressions.

mathDisplay :: LaTeXC l => l -> l Source

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

equation :: LaTeXC l => l -> l Source

A numbered mathematical equation (or otherwise math expression).

equation_ :: LaTeXC l => l -> l Source

The unnumbered variant of equation.

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

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 Source

The unnumbered variant of align.

Referencing

eqref :: LaTeXC l => l -> l Source

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

nonumber :: LaTeXC l => l Source

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 Source

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

autoSquareBrackets :: LaTeXC l => l -> l Source

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

autoBraces :: LaTeXC l => l -> l Source

Like autoParens, but with curly brackets.

autoAngleBrackets :: LaTeXC l => l -> l Source

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

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

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 Source

Left angle bracket, 〈.

rangle :: LaTeXC l => l Source

Right angle bracket, 〉.

lfloor :: LaTeXC l => l Source

Left floor, ⌊.

rfloor :: LaTeXC l => l Source

Right floor, ⌋.

lceil :: LaTeXC l => l Source

Left ceiling, ⌈.

rceil :: LaTeXC l => l Source

Right ceiling, ⌉.

dblPipe :: LaTeXC l => l Source

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

Superscript and subscript

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

Superscript.

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

Subscript.

Function symbols

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

tsin :: LaTeXC l => l Source

Sine function symbol.

arcsin :: LaTeXC l => l Source

Arcsine function symbol.

tcos :: LaTeXC l => l Source

Cosine function symbol.

arccos :: LaTeXC l => l Source

Arccosine function symbol.

ttan :: LaTeXC l => l Source

Tangent function symbol.

arctan :: LaTeXC l => l Source

Arctangent function symbol.

cot :: LaTeXC l => l Source

Cotangent function symbol.

arccot :: LaTeXC l => l Source

Arccotangent function symbol.

tsinh :: LaTeXC l => l Source

Hyperbolic sine function symbol.

tcosh :: LaTeXC l => l Source

Hyperbolic cosine function symbol.

ttanh :: LaTeXC l => l Source

Hyperbolic tangent function symbol.

coth :: LaTeXC l => l Source

Hyperbolic cotangent function symbol.

sec :: LaTeXC l => l Source

Secant function symbol.

csc :: LaTeXC l => l Source

Cosecant function symbol.

texp :: LaTeXC l => l Source

Exponential function symbol.

tlog :: LaTeXC l => l Source

Logarithm function symbol.

ln :: LaTeXC l => l Source

Natural logarithm symbol.

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

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 Source

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

Sum/Integral symbols

tsum :: LaTeXC l => l Source

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

sumFromTo Source

Arguments

:: LaTeXC l 
=> l

Expression below the sigma.

-> l

Expression above the sigma.

-> l 

Sigma sumation symbol with limits.

prod :: LaTeXC l => l Source

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

prodFromTo Source

Arguments

:: LaTeXC l 
=> l

Expression below the pi.

-> l

Expression above the pi.

-> l 

Pi product symbol with limits.

integral :: LaTeXC l => l Source

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

integralFromTo Source

Arguments

:: LaTeXC l 
=> l

Lower limit of integration.

-> l

Upper limit of integration.

-> l 

Integral symbol with limits of integration.

Operator symbols

Arithmetic

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

Centered-dot operator (⋅).

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

"x-cross" multiplication operator (×).

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

Division operator.

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

Fraction operator.

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

Asterisk operator (*).

infixl 7 *:

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

Star operator (★).

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

Ring operator (∘).

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

Bullet operator (∙).

Comparison

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

Equal.

infixr 4 =:

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

Not equal (≠).

infixr 4 /=:

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

Lesser.

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

Lesser or equal (≤).

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

Greater.

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

Greater or equal (≥).

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

Much less (≪).

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

Much greater (≫).

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

Identical / defined-as / equivalent (≡).

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

Proportional-to (∝).

Sets

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

Element-of (∈).

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

Mirrored element-of (∋).

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

Not element of (∉).

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

Subset-of (⊂).

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

Superset-of (⊃).

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

Set intersection (∩).

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

Set union (∪).

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

Set minus (∖).

Misc operators

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

Angle pointing downwards (∨).

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

Angle pointing upwards (∧).

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

Circled plus operator (⊕).

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

Circled minus operator (⊖).

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

Circled multiplication cross (⊗).

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

Circled slash (⊘).

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

Circled dot operator (⊙).

Accents

hat :: LaTeXC l => l -> l Source

Add a hat accent above a symbol.

tilde :: LaTeXC l => l -> l Source

Add a tilde accent above a symbol.

bar :: LaTeXC l => l -> l Source

Add a bar accent above a symbol.

vec :: LaTeXC l => l -> l Source

Add a vector arrow accent above a symbol.

widehat :: LaTeXC l => l -> l Source

Add a wide hat accent above a symbol.

widetilde :: LaTeXC l => l -> l Source

Add a wide tilde accent above a symbol.

dot :: LaTeXC l => l -> l Source

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

ddot :: LaTeXC l => l -> l Source

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

dddot :: LaTeXC l => l -> l Source

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

overline :: LaTeXC l => l -> l Source

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 Source

α symbol.

beta :: LaTeXC l => l Source

β symbol.

gamma :: LaTeXC l => l Source

γ symbol.

gammau :: LaTeXC l => l Source

Γ symbol.

delta :: LaTeXC l => l Source

δ symbol.

deltau :: LaTeXC l => l Source

Δ symbol.

epsilon :: LaTeXC l => l Source

ϵ symbol.

varepsilon :: LaTeXC l => l Source

ε symbol.

zeta :: LaTeXC l => l Source

ζ symbol.

eta :: LaTeXC l => l Source

η symbol.

theta :: LaTeXC l => l Source

θ symbol.

vartheta :: LaTeXC l => l Source

ϑ symbol.

thetau :: LaTeXC l => l Source

Θ symbol.

iota :: LaTeXC l => l Source

ι symbol.

kappa :: LaTeXC l => l Source

κ symbol.

lambda :: LaTeXC l => l Source

λ symbol.

lambdau :: LaTeXC l => l Source

Λ symbol.

mu :: LaTeXC l => l Source

μ symbol.

nu :: LaTeXC l => l Source

ν symbol.

xi :: LaTeXC l => l Source

ξ symbol.

xiu :: LaTeXC l => l Source

Ξ symbol.

pi_ :: LaTeXC l => l Source

π symbol.

varpi :: LaTeXC l => l Source

ϖ symbol.

piu :: LaTeXC l => l Source

Π symbol.

rho :: LaTeXC l => l Source

ρ symbol.

varrho :: LaTeXC l => l Source

ϱ symbol.

sigma :: LaTeXC l => l Source

σ symbol.

varsigma :: LaTeXC l => l Source

ς symbol.

sigmau :: LaTeXC l => l Source

Σ symbol.

tau :: LaTeXC l => l Source

τ symbol.

upsilon :: LaTeXC l => l Source

υ symbol.

upsilonu :: LaTeXC l => l Source

Υ symbol.

phi :: LaTeXC l => l Source

ϕ symbol.

varphi :: LaTeXC l => l Source

φ symbol.

phiu :: LaTeXC l => l Source

Φ symbol.

chi :: LaTeXC l => l Source

χ symbol.

psi :: LaTeXC l => l Source

ψ symbol.

psiu :: LaTeXC l => l Source

Ψ symbol.

omega :: LaTeXC l => l Source

ω symbol.

omegau :: LaTeXC l => l Source

Ω symbol.

Other symbols

pm :: LaTeXC l => l Source

Plus-or-minus symbol (±).

mp :: LaTeXC l => l Source

Minus-or-plus symbol (∓).

to :: LaTeXC l => l Source

A right-arrow, →.

mapsto :: LaTeXC l => l Source

A right-arrow for function definitions, ↦.

implies :: LaTeXC l => l Source

An implication arrow, =⇒.

forall :: LaTeXC l => l Source

For all symbol, ∀.

exists :: LaTeXC l => l Source

Exists symbol, ∃.

dagger :: LaTeXC l => l Source

Dagger symbol, †.

ddagger :: LaTeXC l => l Source

Double dagger symbol, ‡.

infty :: LaTeXC l => l Source

Infinity symbol.

imath :: LaTeXC l => l Source

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 Source

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

Fonts

mathdefault :: LaTeXC l => l -> l Source

Default math symbol font.

mathbf :: LaTeXC l => l -> l Source

Bold face.

mathrm :: LaTeXC l => l -> l Source

Roman, i.e. not-italic math.

mathcal :: LaTeXC l => l -> l Source

Calligraphic math symbols.

mathsf :: LaTeXC l => l -> l Source

Sans-serif math.

mathtt :: LaTeXC l => l -> l Source

Typewriter font.

mathit :: LaTeXC l => l -> l Source

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 Source

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 Source

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 Source

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 Source

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 Source

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 Source

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

qquad :: LaTeXC l => l Source

qquad twice of quad (= 36 mu)