Luccet

Documents with the full power of HTML, CSS and JavaScript. A note is one HTML file: its first line loads luccet.js, and everything below it is written in Luccet’s syntax and rendered in place when the file is opened.

Luccet was called Tern until version 2.0. A note written for Tern needs its first line changed: see Migrating a note.

# Linear maps {#maps}

:::theorem[Rank–nullity]{#thm-rn}
If $V$ is finite-dimensional then $\dim V = \dim \ker T + \dim \operatorname{im} T$.
:::

By @thm-rn, an injective map between spaces of equal dimension is surjective.

It renders as plain HTML, in the browser’s own type and colours, light or dark, and the formulas as MathML: Luccet translates the TeX itself, with nothing to load (math). For a look, list a theme: ``.

Documentation

The documentation is published at luccet.dev. Start with the guide. The pages are themselves Luccet notes: the same files are index.html and docs/ in this repository, and they open locally in a browser too.

Getting luccet.js

A note needs only luccet.js

:::use
https://cdn.luccet.dev/themes/v1/classic.css
https://cdn.luccet.dev/code/v1/code.js
:::

One add-on also fits on the tag, as data-use="…/code.js"; both forms work together.

From cdn.luccet.dev, which serves every release from 2.0 on, minified:

• To follow releases, use v2.0/ (the newest 2.0.x) or v2/ (the newest 2.x: a major keeps every note rendering the same). A release’s own folder never changes, so a browser keeps its file for a year; a series’ or a major’s is checked for a newer release every hour.
• The same file is each GitHub Release’s luccet.js: the minified build, under the name the tools and the editors look for. Its luccet.css is beside it, for a page under a strict Content-Security-Policy.

Themes: colour themes after well-known palettes (Solarized, Gruvbox, Nord, Dracula, Catppuccin, Tokyo Night and more) live in their own repository, Luccet/themes. Each is an add-on: https://cdn.luccet.dev/themes/v1/nord.css in :::use (or data-use). See themes.