explico 0.13.1 → 0.15.0

package/src/compiler/exports/latex/document.ts

@@ -1,10 +1,13 @@
 import { createHash } from 'node:crypto';
 import { readFileSync } from 'node:fs';
 
-import type { Manifest, ManifestLesson, ManifestPart } from '../../manifest';
+import type { Manifest, ManifestDeck, ManifestLesson, ManifestPart } from '../../manifest';
+import { newestSince, versionPhrase } from '../../page-versions';
 import type { Block, StaticPage } from '../static-tree';
 import {
   escapeText,
+  escapeUrl,
+  labelOf,
   serializeAbbreviationAppendix,
   serializeChapter,
   serializeNotationAppendix,
@@ -30,6 +33,11 @@ export function explicoClass(): string {
   return readFileSync(new URL('./explico.cls', import.meta.url), 'utf8');
 }
 
+/** `explico-common.sty`: what the book class and the deck theme share. */
+export function explicoCommon(): string {
+  return readFileSync(new URL('./explico-common.sty', import.meta.url), 'utf8');
+}
+
 function twoDigits(value: number): string {
   return String(value).padStart(2, '0');
 }
@@ -59,6 +67,26 @@ export function checkItems(manifest: Pick<Manifest, 'assessmentContent'>, lesson
   return items;
 }
 
+/**
+ * The items a deck's question frames ask: its lesson's checks, or on a
+ * part's deck those of each chapter it covers, as its frames show them
+ * (an assessment two chapters share, as the first one does).
+ */
+export function deckCheckItems(
+  manifest: Pick<Manifest, 'assessmentContent'>,
+  deck: Pick<ManifestDeck, 'lessonId' | 'covers'>,
+): Map<string, CheckItem[]> {
+  const lessonIds =
+    deck.lessonId !== undefined ? [deck.lessonId] : deck.covers.map((cover) => cover.chapter.replace(/\//g, '.'));
+  const items = new Map<string, CheckItem[]>();
+  for (const id of lessonIds) {
+    for (const [assessment, list] of checkItems(manifest, { id })) {
+      if (!items.has(assessment)) items.set(assessment, list);
+    }
+  }
+  return items;
+}
+
 /**
  * The seed comes first: tagpdf names its "user" structure namespace with
  * `\int_rand:n` digits as it loads, and TeX seeds its random numbers from
@@ -85,16 +113,31 @@ const DOCUMENT_METADATA = [
 
 /**
  * The PDF's file identifier (its trailer `/ID`), which the engines derive
- * from the output file's path unless told: fixed from the course, its
- * content version and the document, so every compile of a source agrees.
+ * from the output file's path unless told: fixed from the course, the
+ * version the document's content is at (rule C5) and the document, so every
+ * compile of a source agrees, and a release that left the document alone
+ * leaves its identifier.
  */
-export function trailerId(manifest: Pick<Manifest, 'about'>, document: string): string {
+export function trailerId(manifest: Pick<Manifest, 'about'>, document: string, since: string | null): string {
   return createHash('md5')
-    .update(`${manifest.about.material.name}\n${manifest.about.knowledge.version}\n${document}`)
+    .update(`${manifest.about.material.name}\n${versionPhrase(since, manifest.about.knowledge.version)}\n${document}`)
     .digest('hex')
     .toUpperCase();
 }
 
+/**
+ * The version a book's content is at: the newest among its chapters and
+ * part pages, `null` when any has a change not yet released.
+ */
+export function bookSince(parts: readonly BookPart[]): string | null {
+  return newestSince(
+    parts.flatMap(({ part, chapters }) => [
+      ...(part.overview ? [part.overview.since] : []),
+      ...chapters.map(({ lesson }) => lesson.since),
+    ]),
+  );
+}
+
 function trailerIdLine(id: string): string {
   return `\\ifdefined\\directlua\\pdfvariable trailerid {[<${id}><${id}>]}\\else\\pdftrailerid{${id}}\\fi`;
 }
@@ -116,7 +159,7 @@ function mainTex(
     ...DOCUMENT_METADATA,
     `\\documentclass[${paper}]{explico}`,
     '% The same identifier for every compile of this source.',
-    trailerIdLine(trailerId(manifest, lesson.slug)),
+    trailerIdLine(trailerId(manifest, lesson.slug, lesson.since)),
     ...(numbering.floats === 'part' ? ['\\ExplicoFloatsByPart'] : []),
     `\\ExplicoSectionDepth{${numbering.sections.show ? numbering.sections.depth : 1}}`,
     `\\hypersetup{pdftitle={${escapeText(lesson.title)}},pdfauthor={${escapeText(
@@ -146,7 +189,7 @@ function readme(manifest: Manifest, lesson: ManifestLesson, url: string | undefi
     `# ${lesson.title}`,
     '',
     `The LaTeX source of a chapter of *${course}*` +
-      ` (content version ${manifest.about.knowledge.version}).` +
+      ` (${versionPhrase(lesson.since, manifest.about.knowledge.version)}).` +
       (url ? ` Interactive version: ${url}` : ''),
     '',
     '## Build',
@@ -166,6 +209,8 @@ function readme(manifest: Manifest, lesson: ManifestLesson, url: string | undefi
     '- `main.tex` — the document: class options, then the chapter.',
     '- `explico.cls` — explico\'s book class: layout, numbering, and the',
     '  environments the chapter uses (memos, notes, worked examples, checks).',
+    '- `explico-common.sty` — what the class shares with explico\'s slides: fonts,',
+    '  colours, figures, diagrams and the notation markers.',
     `- \`${chapterPath(manifest, lesson)}\` — the chapter.`,
     '- `figures/` — the chapter\'s figures, as vector PDF where the website draws them.',
     '',
@@ -199,7 +244,7 @@ export function chapterSource(input: ChapterSourceInput): SourceFile[] {
     checkItems: checkItems(manifest, lesson),
     source: {
       course: manifest.about.material.name,
-      version: manifest.about.knowledge.version,
+      since: versionPhrase(lesson.since, manifest.about.knowledge.version),
       ...(url ? { url } : {}),
     },
   });
@@ -208,6 +253,7 @@ export function chapterSource(input: ChapterSourceInput): SourceFile[] {
     { path: 'latexmkrc', content: LATEXMKRC },
     { path: 'main.tex', content: mainTex(manifest, lesson, file) },
     { path: 'explico.cls', content: explicoClass() },
+    { path: 'explico-common.sty', content: explicoCommon() },
     { path: file, content: chapter },
     ...[...input.pictures.values()].map((picture) => ({ path: picture.path, content: picture.content })),
   ]);
@@ -229,15 +275,19 @@ const MATH_GREEK = /[αβγδεθλμπρστφωΓΔΘΛΠΣΦΩ]/gu;
  * fallback fonts under LuaLaTeX, which costs every compile that does not
  * need them about two seconds.
  */
+/**
+ * Whether a document's LaTeX holds a character of another script, so its
+ * class (or a deck's theme) should load the fallback fonts. A Greek letter on
+ * its own is a symbol set as math; a Greek word (`\ExplicoGreekWord`), an
+ * accented letter or another script needs a text font.
+ */
+export function needsScripts(tex: string): boolean {
+  return tex.includes('\\ExplicoGreekWord{') || OTHER_SCRIPTS.test(tex.replace(MATH_GREEK, ''));
+}
+
 function withScripts(files: SourceFile[]): SourceFile[] {
-  // A Greek letter on its own is a symbol the class sets as math; a Greek
-  // word (`\ExplicoGreekWord`), an accented letter or another script needs a
-  // text font.
   const needed = files.some(
-    (file) =>
-      file.path.endsWith('.tex') &&
-      typeof file.content === 'string' &&
-      (file.content.includes('\\ExplicoGreekWord{') || OTHER_SCRIPTS.test(file.content.replace(MATH_GREEK, ''))),
+    (file) => file.path.endsWith('.tex') && typeof file.content === 'string' && needsScripts(file.content),
   );
   if (!needed) return files;
   return files.map((file) =>
@@ -254,11 +304,42 @@ export interface BookChapter {
   readonly pictures: ReadonlyMap<string, { readonly path: string; readonly content: Uint8Array }>;
 }
 
+/**
+ * A lesson of a book's part that has no chapter, only slides (a slides-first
+ * lesson, docs/authoring/deck.md): the book keeps its place and its number
+ * with a short chapter that points at the slides.
+ */
+export interface BookSlidesLesson {
+  readonly lesson: ManifestLesson;
+  /** The deck's PDF and interactive version, when the course publishes them. */
+  readonly slidesUrl?: string;
+  readonly outcomes: readonly string[];
+}
+
 /** A part of a book: its own page, when it has one, and its chapters in order. */
 export interface BookPart {
   readonly part: ManifestPart;
   readonly overview?: StaticPage;
   readonly chapters: readonly BookChapter[];
+  /** Its slides-first lessons, placed among the chapters by their chapter number. */
+  readonly slides?: readonly BookSlidesLesson[];
+}
+
+/** A slides-first lesson's place in a book: its title, outcomes and where its slides are. */
+function slidesChapter(entry: BookSlidesLesson): string {
+  // As many checks as the website numbers for it (manifest part offsets).
+  const checks = entry.lesson.assessments.length;
+  return [
+    `\\chapter{${escapeText(entry.lesson.title)}}\\label{${labelOf(entry.lesson.slug, '_top')}}`,
+    `This lesson is taught as slides${entry.slidesUrl ? `: \\url{${escapeUrl(entry.slidesUrl)}}` : ''}.` +
+      (checks > 0 ? ` Its knowledge check${checks === 1 ? ' is' : 's are'} on its slides.` : ''),
+    ...(entry.outcomes.length > 0
+      ? ['', 'After it, you can:', '\\begin{itemize}', ...entry.outcomes.map((outcome) => `\\item ${escapeText(outcome)}`), '\\end{itemize}']
+      : []),
+    // Its checks keep their numbers, so the chapters after it keep theirs.
+    ...(checks > 0 ? [`\\addtocounter{explicocheck}{${checks}}`] : []),
+    '',
+  ].join('\n');
 }
 
 export interface BookSourceInput {
@@ -335,7 +416,7 @@ function bookMainTex(input: BookSourceInput, inputs: readonly string[], appendic
     ...DOCUMENT_METADATA,
     `\\documentclass[${paper}]{explico}`,
     '% The same identifier for every compile of this source.',
-    trailerIdLine(trailerId(manifest, input.document)),
+    trailerIdLine(trailerId(manifest, input.document, bookSince(input.parts))),
     ...(numbering.floats === 'part' ? ['\\ExplicoFloatsByPart'] : []),
     `\\ExplicoSectionDepth{${numbering.sections.show ? numbering.sections.depth : 1}}`,
     '% The contents list parts, chapters and sections.',
@@ -346,7 +427,7 @@ function bookMainTex(input: BookSourceInput, inputs: readonly string[], appendic
     '\\begin{document}',
     '\\frontmatter',
     `\\ExplicoTitlePage{${escapeText(input.title)}}{${escapeText(input.subtitle ?? '')}}{${escapeText(
-      manifest.about.knowledge.version,
+      versionPhrase(bookSince(input.parts), manifest.about.knowledge.version),
     )}}{${escapeText(authors.join(', '))}}{${url ? url.replace(/[\\{}]/gu, '').replace(/[%#]/gu, (char) => `\\${char}`) : ''}}`,
     '% The contents and lists in black, as a book sets them; links in the text keep their colour.',
     '\\begingroup\\hypersetup{linkcolor=black}',
@@ -368,7 +449,7 @@ function bookReadme(input: BookSourceInput): string {
     `# ${input.title}`,
     '',
     `The LaTeX source of ${input.subtitle ? `${input.subtitle.replace(/^Part/u, 'part')}` : `*${manifest.about.material.name}*`}` +
-      ` (content version ${manifest.about.knowledge.version}).` +
+      ` (${versionPhrase(bookSince(input.parts), manifest.about.knowledge.version)}).` +
       (url ? ` Interactive version: ${url}` : ''),
     '',
     '## Build',
@@ -389,6 +470,8 @@ function bookReadme(input: BookSourceInput): string {
     '  diagrams, then each part and its chapters, then the appendices.',
     "- `explico.cls` — explico's book class: layout, numbering, and the",
     '  environments the chapters use (memos, notes, worked examples, checks).',
+    "- `explico-common.sty` — what the class shares with explico's slides: fonts,",
+    '  colours, figures, diagrams and the notation markers.',
     "- `parts/NN-<part>.tex` — a part's opening page and text;",
     '  `parts/NN-<part>/MM-<chapter>.tex` — its chapters.',
     '- `backmatter/` — the notation and abbreviation appendices.',
@@ -410,7 +493,6 @@ export function bookSource(input: BookSourceInput): SourceFile[] {
   const { manifest, parts } = input;
   const canonicalBaseUrl = manifest.lessonExports.canonicalBaseUrl;
   const course = manifest.about.material.name;
-  const version = manifest.about.knowledge.version;
   const documentRoutes = new Set(
     parts.flatMap(({ overview, chapters }) => [
       ...(overview ? [overview.route] : []),
@@ -422,7 +504,7 @@ export function bookSource(input: BookSourceInput): SourceFile[] {
   const common = { documentRoutes, canonicalBaseUrl, inBook: true, notationTargets } as const;
   const files: SourceFile[] = [];
   const inputs: string[] = [];
-  for (const { part, overview, chapters } of parts) {
+  for (const { part, overview, chapters, slides = [] } of parts) {
     const partFile = `parts/${twoDigits(part.ordinal)}-${part.dir}.tex`;
     files.push({
       path: partFile,
@@ -431,7 +513,18 @@ export function bookSource(input: BookSourceInput): SourceFile[] {
         : `\\ExplicoPart{${part.ordinal}}{${escapeText(part.label)}}\n`,
     });
     inputs.push(partFile);
+    // A slides-first lesson keeps its chapter number with a short chapter of its own.
+    const pending = [...slides].sort((a, b) => a.lesson.chapter - b.lesson.chapter);
+    const writeSlides = (before: number) => {
+      while (pending.length > 0 && pending[0]!.lesson.chapter < before) {
+        const entry = pending.shift()!;
+        const file = chapterPath(manifest, entry.lesson);
+        files.push({ path: file, content: slidesChapter(entry) });
+        inputs.push(file);
+      }
+    };
     for (const { lesson, page, pictures } of chapters) {
+      writeSlides(lesson.chapter);
       const file = chapterPath(manifest, lesson);
       const url = canonicalBaseUrl ? `${canonicalBaseUrl}${lesson.slug}/` : undefined;
       files.push({
@@ -441,12 +534,14 @@ export function bookSource(input: BookSourceInput): SourceFile[] {
           page,
           pictures: new Map([...pictures].map(([anchor, picture]) => [anchor, picture.path])),
           checkItems: checkItems(manifest, lesson),
-          source: { course, version, ...(url ? { url } : {}) },
+          // In a book the line is the URL alone; the title page carries the version.
+          source: { course, ...(url ? { url } : {}) },
         }),
       });
       inputs.push(file);
       files.push(...[...pictures.values()].map((picture) => ({ path: picture.path, content: picture.content })));
     }
+    writeSlides(Number.POSITIVE_INFINITY);
   }
   const appendices: string[] = [];
   const notation = serializeNotationAppendix(appendixNotation(manifest, parts), {
@@ -474,6 +569,7 @@ export function bookSource(input: BookSourceInput): SourceFile[] {
     { path: 'latexmkrc', content: LATEXMKRC },
     { path: 'main.tex', content: bookMainTex(input, inputs, appendices) },
     { path: 'explico.cls', content: explicoClass() },
+    { path: 'explico-common.sty', content: explicoCommon() },
     ...files,
   ]);
 }

package/src/compiler/exports/latex/explico-common.sty

@@ -0,0 +1,198 @@
+%% explico-common.sty — what every LaTeX document explico writes shares: its
+%% book class (`explico.cls`) and its deck theme (`beamerthemeexplico.sty`).
+%%
+%% The engine, the fonts and the Unicode characters, the colours, the
+%% figures and tables, the TikZ styles of a diagram, the box style, the
+%% notation markers (\explain, \slot) and the cross-references. Edit it
+%% freely in a download.
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{explico-common}[2026/10/10 explico shared definitions]
+
+%% `scripts`: the document holds Greek, Cyrillic, CJK or emoji (the exporter
+%% sets it when it does), so LuaLaTeX loads the fallback fonts below.
+\newif\ifexplico@scripts
+\DeclareOption{scripts}{\explico@scriptstrue}
+\ProcessOptions\relax
+
+%% --- Engine and fonts ------------------------------------------------------
+\RequirePackage{iftex}
+\RequirePackage{amsmath,amssymb,mathtools}
+%% Rule N17's engine half, as on the website (src/reference/katex-delimiters.mjs):
+%% a negative \delimitershortfall makes every \left...\right pair strictly taller
+%% than its content, so a nest grows outward at each level. TeX's default (5pt)
+%% lets nested pairs round to the same glyph.
+\delimitershortfall=-1pt
+%% Whether a text font sets Greek; if none does, a Greek letter in prose is
+%% set as its math symbol (below, with the other Unicode characters).
+\newif\ifexplico@greek
+\ifPDFTeX
+  \RequirePackage[T1]{fontenc}
+  \RequirePackage{lmodern}
+  \RequirePackage{textcomp}
+  \RequirePackage{bm}
+  %% A character no pdfTeX font sets (accented Greek, Chinese, an emoji) stays
+  %% blank instead of stopping the compile, and the log says so in LuaLaTeX's
+  %% words, which the export turns into its warning about blank characters.
+  \def\UTFviii@undefined@err#1{%
+    \typeout{Missing character: There is no
+      \expandafter\UTFviii@splitcsname\string#1\relax\space in font pdftex!}}
+\else
+  %% Latin Modern for text and math. unicode-math is also what lets a tagged
+  %% PDF carry MathML for every formula (luamml needs it); bm does not work
+  %% with it, so \bm becomes \boldsymbol.
+  \RequirePackage{unicode-math}
+  \providecommand{\bm}{\boldsymbol}
+  %% Latin Modern has no Greek, Cyrillic, Chinese, Japanese, Korean or emoji.
+  %% With `scripts`, prose in those scripts comes from fallback fonts: for each
+  %% script, the first of the fonts below this machine has (CMU Serif, from
+  %% TeX Live's cm-unicode, matches Latin Modern). A script none of them
+  %% covers stays blank, and the export warns about it.
+  \ifexplico@scripts
+  \def\explico@fallbacks{}
+  \def\explico@fallback#1#2{%
+    \let\explico@found\@empty
+    \@for\explico@candidate:=#1\do{%
+      \ifx\explico@found\@empty
+        \IfFontExistsTF{\explico@candidate}{%
+          \edef\explico@fallbacks{\explico@fallbacks"\explico@candidate:mode=harf;",}%
+          \let\explico@found\explico@candidate}{}%
+      \fi}%
+    \ifx\explico@found\@empty\else#2\fi}
+  \explico@fallback{CMU Serif,Noto Serif,DejaVu Serif,FreeSerif}{\explico@greektrue}
+  \explico@fallback{Noto Serif CJK SC,Noto Sans CJK SC,FandolSong,Source Han Serif SC}{}
+  \explico@fallback{Noto Color Emoji,Twemoji Mozilla,Symbola}{}
+  \ifx\explico@fallbacks\@empty\else
+    \directlua{luaotfload.add_fallback("explico", {\explico@fallbacks})}%
+    \setmainfont{Latin Modern Roman}[RawFeature={fallback=explico}]%
+  \fi
+  \fi
+\fi
+\RequirePackage{microtype}
+
+%% --- Page and colour --------------------------------------------------------
+\RequirePackage{xcolor}
+\definecolor{explicoaccent}{HTML}{12775C}
+\definecolor{explicoframe}{HTML}{9DB8AD}
+\definecolor{explicoback}{HTML}{F3F8F6}
+\definecolor{explicoasidecaution}{HTML}{B5651D}
+\definecolor{explicoasidecautionback}{HTML}{FBF3EA}
+\definecolor{explicorule}{HTML}{8A9A93}
+
+%% --- Floats, tables and captions -------------------------------------------
+\RequirePackage{graphicx}
+\RequirePackage{array,booktabs,tabularx}
+\RequirePackage[export]{adjustbox}
+%% explico's short caption, run in bold before the long one.
+\newcommand*{\ExplicoCaptionTitle}[1]{\textbf{#1}}
+
+%% --- Diagrams ---------------------------------------------------------------
+\RequirePackage{tikz}
+\usetikzlibrary{arrows.meta}
+\tikzset{
+  explico diagram node/.style={
+    draw=explicorule, fill=explicoback, rounded corners=3pt, line width=0.5pt,
+    align=center, inner sep=3pt, font=\small,
+  },
+  explico diagram edge/.style={
+    draw=explicorule, line width=0.6pt, -{Stealth[length=5pt,width=4pt]},
+  },
+}
+
+%% --- Boxes: memos, notes, asides, worked examples, checks ------------------
+\RequirePackage[most]{tcolorbox}
+\tcbset{
+  explico/.style={
+    enhanced, breakable, colback=explicoback, colframe=explicoframe,
+    boxrule=0.5pt, arc=2pt, left=6pt, right=6pt, top=4pt, bottom=4pt,
+    fonttitle=\bfseries\small, coltitle=black, colbacktitle=explicoback!60!white,
+    titlerule=0.4pt, before skip=10pt plus 2pt, after skip=10pt plus 2pt,
+  },
+}
+
+%% --- Unicode in text that the default fonts lack ---------------------------
+\RequirePackage{newunicodechar}
+\newunicodechar{°}{\ifmmode^\circ\else\textdegree\fi}
+\newunicodechar{−}{\ensuremath{-}}
+\newunicodechar{×}{\ensuremath{\times}}
+\newunicodechar{±}{\ensuremath{\pm}}
+\newunicodechar{≤}{\ensuremath{\le}}
+\newunicodechar{≥}{\ensuremath{\ge}}
+\newunicodechar{≈}{\ensuremath{\approx}}
+\newunicodechar{≠}{\ensuremath{\neq}}
+\newunicodechar{→}{\ensuremath{\rightarrow}}
+\newunicodechar{←}{\ensuremath{\leftarrow}}
+\newunicodechar{↑}{\ensuremath{\uparrow}}
+\newunicodechar{↓}{\ensuremath{\downarrow}}
+\newunicodechar{⟨}{\ensuremath{\langle}}
+\newunicodechar{⟩}{\ensuremath{\rangle}}
+\newunicodechar{⋮}{\ensuremath{\vdots}}
+\newunicodechar{√}{\ensuremath{\surd}}
+\newunicodechar{∞}{\ensuremath{\infty}}
+\newunicodechar{′}{\ensuremath{'}}
+\newunicodechar{𝒩}{\ensuremath{\mathcal{N}}}
+\newunicodechar{①}{\textcircled{\scriptsize 1}}
+\newunicodechar{②}{\textcircled{\scriptsize 2}}
+\newunicodechar{③}{\textcircled{\scriptsize 3}}
+\newunicodechar{④}{\textcircled{\scriptsize 4}}
+\newunicodechar{⑤}{\textcircled{\scriptsize 5}}
+\newunicodechar{₀}{\textsubscript{0}}
+\newunicodechar{₁}{\textsubscript{1}}
+\newunicodechar{₂}{\textsubscript{2}}
+\newunicodechar{₃}{\textsubscript{3}}
+\newunicodechar{¹}{\textsuperscript{1}}
+\newunicodechar{²}{\textsuperscript{2}}
+\newunicodechar{³}{\textsuperscript{3}}
+%% A Greek letter on its own is a symbol (the polar coordinates ρ and φ in a
+%% caption, which holds no math): it is set as its math symbol. Inside a Greek
+%% word, which the exporter marks \ExplicoGreekWord{…}, it is a letter, set
+%% from the text font's Greek where one is loaded (`scripts`).
+\newif\ifexplico@word
+\DeclareRobustCommand{\ExplicoGreekWord}[1]{{\explico@wordtrue#1}}
+%% Protected, as \ensuremath is: the text of an equation is expanded for its
+%% tagging (alt text, MathML), and an expandable body breaks it there.
+\protected\def\explico@greekletter#1#2{%
+  \ifmmode#2\else
+    \ifexplico@word
+      \ifexplico@greek\char#1\relax\else\ensuremath{#2}\fi
+    \else\ensuremath{#2}\fi
+  \fi}
+\newunicodechar{α}{\explico@greekletter{"03B1}{\alpha}}
+\newunicodechar{β}{\explico@greekletter{"03B2}{\beta}}
+\newunicodechar{γ}{\explico@greekletter{"03B3}{\gamma}}
+\newunicodechar{δ}{\explico@greekletter{"03B4}{\delta}}
+\newunicodechar{ε}{\explico@greekletter{"03B5}{\varepsilon}}
+\newunicodechar{θ}{\explico@greekletter{"03B8}{\theta}}
+\newunicodechar{λ}{\explico@greekletter{"03BB}{\lambda}}
+\newunicodechar{μ}{\explico@greekletter{"03BC}{\mu}}
+\newunicodechar{π}{\explico@greekletter{"03C0}{\pi}}
+\newunicodechar{ρ}{\explico@greekletter{"03C1}{\rho}}
+\newunicodechar{σ}{\explico@greekletter{"03C3}{\sigma}}
+\newunicodechar{τ}{\explico@greekletter{"03C4}{\tau}}
+\newunicodechar{φ}{\explico@greekletter{"03C6}{\varphi}}
+\newunicodechar{ω}{\explico@greekletter{"03C9}{\omega}}
+\newunicodechar{Γ}{\explico@greekletter{"0393}{\Gamma}}
+\newunicodechar{Δ}{\explico@greekletter{"0394}{\Delta}}
+\newunicodechar{Θ}{\explico@greekletter{"0398}{\Theta}}
+\newunicodechar{Λ}{\explico@greekletter{"039B}{\Lambda}}
+\newunicodechar{Π}{\explico@greekletter{"03A0}{\Pi}}
+\newunicodechar{Σ}{\explico@greekletter{"03A3}{\Sigma}}
+\newunicodechar{Φ}{\explico@greekletter{"03A6}{\Phi}}
+\newunicodechar{Ω}{\explico@greekletter{"03A9}{\Omega}}
+
+%% --- Notation ---------------------------------------------------------------
+%% \explain{key}{tex} and \slot{key}{tex} are explico's markers in math: the
+%% website opens a card for the key; on paper they print their content.
+\providecommand{\explain}[2]{#2}
+\providecommand{\slot}[2]{#2}
+%% \ExplicoNotation{target}{tex}: a formula's symbol that links to its notation entry
+%% (the serializer writes it only where the book has that entry).
+\providecommand{\ExplicoNotation}[2]{\hyperlink{#1}{#2}}
+%% A term in prose with a notation card on the website.
+\newcommand{\ExplicoTerm}[2]{#2}
+
+%% --- Cross-references ---------------------------------------------------------
+%% #1 label, #2 text before the number, #3 text after it.
+\newcommand{\ExplicoRef}[3]{\hyperref[#1]{#2\ref*{#1}#3}}
+\newcommand{\ExplicoEqRef}[1]{\hyperref[#1]{(\ref*{#1})}}
+
+\endinput