$
8.18
top
← prev up next →

TeXmathπŸ”— i

Eric Griffis <dedbox@gmail.com>

A LaTeX-like syntax for typesetting mathematics.

1SyntaxπŸ”— i

The syntax is currenty limited to whitespace-delimited sequences of atoms and composite terms.

A term is an atom, optionally followed by an underscore and a subscript atom, optionally followed by a carat and a superscript atom, optionally followed by a sequence of primes.

An atom is an contiguous sequence of characters that represents a single, indivisible unit of information. An atom can be a number, a word, a literal, or a sub-term.

A number is a contiguous sequence of decimal digits.

A word is a letter or symbol followed by zero or more numbers, letters, or symbols. Latin letters are rendered in an oblique font.

A literal is a backslash followed by a curly brace or a sequence of numbers, letters, and symbols. The backslash is not rendered, and the characters following the backslash are all rendered in an upright font. Punctuation are rendered as single-character literals.

A sub-term is a whitespace-delimited sequence of terms surrounded by curly braces.

2API ReferenceπŸ”— i

(require texmath ) package: texmath

procedure

( $ text-body...+)element?

text-body:string?
Parses text-body into an element that, when rendered, resembles the output of a proper LaTeX2e renderer.

syntax

( inferrule premise...barmaybe-rule-nameconclusion)

maybe-rule-name =
| rule-name
Renders a rule of inference with premises and conclusion centered on and separated by a horizontal bar. If rule-name is given, it is rendered to the right of the horizontal bar.

Currently, bar is a sequence of dashes—at least 3 but no more than 80.

top
← prev up next →

AltStyle γ«γ‚ˆγ£γ¦ε€‰ζ›γ•γ‚ŒγŸγƒšγƒΌγ‚Έ (->γ‚ͺγƒͺγ‚ΈγƒŠγƒ«) /