Math.LaTeX.Internal.Display

Documentation

(>$) :: (LaTeXC r, LaTeXSymbol σ) => r -> LaTeXMath σ -> r infixl 1

Embed inline maths in a monadic chain of document-components. Space before the math is included automatically.

  do
    "If">$𝑎;" and">$𝑏;" are the lengths of the legs and">$𝑐
    " of the cathete of a right triangle, then">$ 𝑎◝2+𝑏◝2 ⩵ 𝑐◝2;" holds."

($<>) :: (LaTeXC r, LaTeXSymbol σ) => LaTeXMath σ -> r -> r infixr 6

Embed inline maths in a semigroup/monoidal chain of document-components.

    "If "<>𝑎$<>" and "<>𝑏$<>" are the lengths of the legs and "<>𝑐$<>
     " of the cathete of a right triangle, then "<>(𝑎◝2+𝑏◝2 ⩵ 𝑐◝2)$<>" holds."

dmaths

Arguments

:: (LaTeXC r, LaTeXSymbol σ)

=> [[LaTeXMath σ]]

Equations to show.

-> String

“Terminator” – this can include punctuation (when an equation is at the end of a sentence in the preceding text).

-> r

Include a formula / equation system as a LaTeX display. If it's a single equation, automatic line breaks are inserted (requires the breqn LaTeX package).

equations

Arguments

:: (LaTeXC r, LaTeXSymbol σ, HasCallStack)

=> [(LaTeXMath σ, String)]

Equations to show, with label name.

-> String

“Terminator” – this can include punctuation (when an equation is at the end of a sentence in the preceding text).

-> r

Include a set of equations or formulas, each with a LaTeX label that can be referenced with ref. (The label name will not appear in the rendered document output; by default it will be just a number but you can tweak it with the terminator by including the desired tag in parentheses.)

asSafeLabel :: HasCallStack => String -> LaTeX

maths

Arguments

:: (LaTeXC r, LaTeXSymbol σ)

=> [[LaTeXMath σ]]

Equations to show.

-> String

“Terminator” – this can include punctuation (when an equation is at the end of a sentence in the preceding text).

-> r

Include a formula / equation system as a LaTeX display.

dcalculation

Arguments

:: (LaTeXC (m ()), LaTeXSymbol σ, Functor m)

=> LaTeXMath σ

Computation chain to display.

-> String

“Terminator” – this can include punctuation (when an equation is at the end of a sentence in the preceding text).

-> m (LaTeXMath σ)

Yield the rightmost expression in the displayed computation (i.e. usually the final result in a chain of algebraic equalities).

Display an equation and also extract the final result. As with dmaths, automatic line breaks are inserted by breqn.

parseEqnum :: LaTeXC r => String -> (Maybe r, r)

contentsWithAlignAnchor :: (LaTeXC c, LaTeXSymbol σ) => LaTeXMath σ -> c