TeX-my-math-0.201.2.0: Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio.

Copyright (c) Justus Sagemüller 2017 GPL v3 (@) jsagemue $uni-koeln.de experimental requires GHC>7 extensions None Haskell2010 Math.LaTeX.Internal.Display Description Synopsis # Documentation (>$) :: (LaTeXC r, LaTeXSymbol σ) => r -> LaTeXMath σ -> r infixl 1 Source #

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 Source # 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."


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).

Arguments

 :: (LaTeXC r, LaTeXSymbol σ) => [(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.)

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.

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) Source #