Heine

Heine is a compact math notation that compiles to L^aT_eX. It allows writing and editing documents involving math much more efficiently than standard L^aT_eX notation.

Examples

{\left(\forall\varepsilon\in{\mathbb{R}^+}\right)}{\left(\exists n_0\in\mathbb{N}\right)}{\left(\forall n\in\mathbb{N},\;n\ge n_0\right)}{\left({\left|{\left(1+\frac1{n}\right)}^n-e\right|}<\varepsilon\right)}

Heine (all ep in RR.+) (ex n_0 in NN) (all n in NN, n >= n_0) (|(1 + /1{n})^n - e| < ep)

L^aT_eX

\left( \forall \varepsilon \in \mathbb{R}^+ \right)
\left( \exists n_0 \in \mathbb{N} \right)
\left( \forall n \in \mathbb{N},\; n \ge n_0 \right)
\left( \left| \left( 1 + \frac1{n} \right) - e \right| < \varepsilon \right)

\vec{E}=\frac{q}{4\pi\varepsilon_0r^3}\vec{r}

Heine E.v = /{q}{4 pi ep_0 r^3} r.v

L^aT_eX \vec{E} = \frac{q}{4 \pi \varepsilon_0} \vec{r}

\mathbf{A}\vec{x}=\lambda\vec{x}\iff{\left(\mathbf{A}-\lambda\mathbf{I}\right)}\vec{x}=\vec{0}

Heine A.b x.v = la x.v <=> (A.b - la I.b) x.v = 0.v

L^aT_eX \mathbf{A} \vec{x} = \lambda \vec{x} \iff \left(\mathbf{A} - \lambda \mathbf{I}) \vec{x} = \vec{0}

Usage

Heine is a Nim library as well as a command-line program.

Usage as a library:

import pkg/heine
let latex = heine("E.v = /{q}{4 pi ep_0} r.v")
assert latex == r"\vec{E}=\frac{q}{4\pi\varepsilon_0}\vec{r}"

CLI usage:

heine 'E.v = /{q}{4 pi ep_0 r^3} r.v'
# or alternatively
echo 'E.v = /{q}{4 pi ep_0 r^3} r.v' | heine

Heine

Examples

Design goals (in order)

Installation

Usage

Name

Source code