2026-07-18 18:48:23 +02:00
|
|
|
# @@@state font_dirs.list :create Directories containing local fonts @@@
|
|
|
|
|
@@@state font_dirs :desc Directories containing local fonts @@@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@@@argtype font |
|
|
|
|
|
an abbreivation for a font
|
|
|
|
|
:pattern r^|i^|b^|s^|t^|c
|
|
|
|
|
@@@
|
|
|
|
|
|
|
|
|
|
@@@argtype font_list |
|
|
|
|
|
a list of font symbols. One or more of 'r' (roman), 'i' (italic),
|
|
|
|
|
'b' (bold), 's' (sans-serif), 't' (typewriter or monospace) or 'c'
|
|
|
|
|
(code) for each cell in a row. If there are fewer font symbols than
|
|
|
|
|
cells in a row, the last symbol is repeated. Extra symbols are
|
Typed arguments, calculated tables, spans, closed-world fonts, top-level fnt/ and env/
Sync with klammertext-dev through b90b0e09:
- Argument types end to end: :python_cast values are applied (Python
@eval receives real bools/numbers/lists), argument values are
validated against their argtype patterns with the argtype's
description as the error message, argtypes can declare :default
(overridable per declaration), and parameterized type families are
supported: rest(N) casts a rest argument to an N-dimensional list
(bar-count = dimension).
- Unified indexed_range syntax (selector with parenthesized subsets,
composable mnemonic names) for table lines and spans.
- Table klammer: caption fonts fixed in both targets, :column_width /
:leading / :colsep wired, :colspan and :rowspan render (HTML
attributes; \multicolumn / \multirow), calculated cell values (:calc)
with prefix operators, display-precision semantics, :calc_format and
:decimal period|comma.
- Fonts: closed-world resolution on the Klammertext font store
(infrastructure in mac/font_store; no Google Fonts links or fetch).
Default fonts live in the top-level fnt/; additional fonts install
into KLAMMERTEXT_FONTS directories via kdesc --font (list, samples,
preview, install — classification by font metadata). CSS font family
names are quoted (digit-initial families were silently lost).
- Environment files moved from mac/env/ to the top-level env/; shell
profiles source env/runtime.env. Dead per-host variants removed.
- Container: fnt/ ships in the image; curl removed (no network use).
2026-07-22 18:17:43 +02:00
|
|
|
ignored.
|
2026-07-18 18:48:23 +02:00
|
|
|
:pattern ('font'^|\s)+
|
|
|
|
|
:python_cast (lambda s : s.split())
|
Typed arguments, calculated tables, spans, closed-world fonts, top-level fnt/ and env/
Sync with klammertext-dev through b90b0e09:
- Argument types end to end: :python_cast values are applied (Python
@eval receives real bools/numbers/lists), argument values are
validated against their argtype patterns with the argtype's
description as the error message, argtypes can declare :default
(overridable per declaration), and parameterized type families are
supported: rest(N) casts a rest argument to an N-dimensional list
(bar-count = dimension).
- Unified indexed_range syntax (selector with parenthesized subsets,
composable mnemonic names) for table lines and spans.
- Table klammer: caption fonts fixed in both targets, :column_width /
:leading / :colsep wired, :colspan and :rowspan render (HTML
attributes; \multicolumn / \multirow), calculated cell values (:calc)
with prefix operators, display-precision semantics, :calc_format and
:decimal period|comma.
- Fonts: closed-world resolution on the Klammertext font store
(infrastructure in mac/font_store; no Google Fonts links or fetch).
Default fonts live in the top-level fnt/; additional fonts install
into KLAMMERTEXT_FONTS directories via kdesc --font (list, samples,
preview, install — classification by font metadata). CSS font family
names are quoted (digit-initial families were silently lost).
- Environment files moved from mac/env/ to the top-level env/; shell
profiles source env/runtime.env. Dead per-host variants removed.
- Container: fnt/ ships in the image; curl removed (no network use).
2026-07-22 18:17:43 +02:00
|
|
|
:default r
|
2026-07-18 18:48:23 +02:00
|
|
|
@@@
|
|
|
|
|
|
|
|
|
|
@@font.k fontname : Switch to an available font for PDF output. @@
|
|
|
|
|
|
|
|
|
|
@@font.html :: *fontname* @@
|
|
|
|
|
@@font.tex :: \setmainfont[Ligatures=TeX]{*fontname*} @@
|
|
|
|
|
# @@font.tex : \setmainfont[Ligatures=TeX,Numbers=Lining]{*fontname*} @@
|
|
|
|
|
@@font.txt :: *fontname* @@
|
|
|
|
|
|
|
|
|
|
@@r.k text : Use the current Roman font for *text* @@
|
|
|
|
|
@@r.html :: <span class="plain">*text*</span> @@
|
|
|
|
|
@@r.tex :: \textrm{*text*} @@
|
|
|
|
|
@@r.txt :: *text* @@
|
|
|
|
|
|
|
|
|
|
@@b.k text : Use a bold weight of the current font for *text* @@
|
|
|
|
|
@@b.html :: <b>*text*</b> @@
|
|
|
|
|
@@b.tex :: \textbf{*text*} @@
|
|
|
|
|
@@b.txt :: **text** @@
|
|
|
|
|
|
|
|
|
|
@@i.k text : Use an italic style of the current font for *text* @@
|
|
|
|
|
@@i.html :: <i>*text*</i> @@
|
|
|
|
|
@@i.tex :: \emph{*text*} @@ # \begin{emph}{*text*}\end{emph} @@
|
|
|
|
|
@@i.txt :: '*text*' @@
|
|
|
|
|
|
|
|
|
|
@@t.k text : Use the currently defined monospace font for *text* @@
|
|
|
|
|
@@t.html :: <span class="tt">*text*</span> @@
|
|
|
|
|
@@t.tex :: \texttt{*text*} @@
|
|
|
|
|
@@t.txt :: *text* @@
|
|
|
|
|
|
|
|
|
|
@@s.k text : Use the currently defined sans-serif font for *text* @@
|
|
|
|
|
@@s.html :: <span class="text">*text*</span> @@
|
|
|
|
|
@@s.tex :: \textsf{*text*} @@
|
|
|
|
|
@@s.txt :: *text* @@
|
|
|
|
|
|
|
|
|
|
@@u.k text : Underline *text* in the current font @@
|
|
|
|
|
@@u.tex :: \underline{\botstrut{2pt}*text*} @@
|
|
|
|
|
|
|
|
|
|
@@ri.k text : Use a roman italic font for *text* (to override monospace environment) @@
|
|
|
|
|
@@ri.html :: <span class="ritalic">*text*</span> @@
|
|
|
|
|
@@ri.tex :: \textrm{\textit{*text*}} @@
|
|
|
|
|
@@ri.txt :: *text* @@
|
|
|
|
|
|
|
|
|
|
@@ts.k scale.float | text : Resize *text* by *scale* @@
|
|
|
|
|
# @@ts.tex :: {\scalefont{*scale*}\em *text*} @@
|
|
|
|
|
@@ts.tex :: \scalefont{*scale*}{*text*} @@
|
|
|
|
|
@@ts.html :: <span style="font-size: @eval *scale* * 100 @ #- %">*text*</span> @@
|
|
|
|
|
@@ts.txt :: *text* @@
|
|
|
|
|
|
|
|
|
|
@@leading.k n.float : Change LaTeX leading to *n*, multiple of the current line height @@
|
|
|
|
|
#@@leading.tex :: \renewcommand{\baselinestretch}{*n*} @@
|
|
|
|
|
@@leading.tex :: \setstretch{*n*} @@
|
|
|
|
|
|
Target coverage: a klammer states the targets it serves
kdesc gains --coverage, which reports for every klammer the set of targets it
can render to, and — the point of it — which klammers' coverage cannot be
derived and must therefore be declared. Three rules: coverage is DERIVED
where the definitions determine it (a general body of klammer calls covers
the intersection of what those klammers cover, by a greatest fixpoint after
loading), DECLARED where the engine cannot interpret what decides it (an
@eval body, whose targets are undecidable), and UNKNOWN where nothing is
written — which never means "deliberately unavailable".
Two new spellings in a definition's name. A comma-separated target list,
"@@table.html,tex :: ...", gives one body several targets; it is surface
syntax, expanded at registration, and each member goes through the
redefinition rules on its own. And "@@date.* :: ..." writes the general
target out, asserting that the klammer works for EVERY target including ones
not yet defined — a stronger claim than a list of the targets defined today,
and the one target declaration that could be mechanically falsified.
The Standard Klammer Set was swept accordingly: it now has no general
definitions at all, every klammer names the targets it serves, six use ".*",
and tex and pdf are at zero undecided.
kdesc's flags are reorganised on two rules: a flag reached for often gets a
single letter (-k klammers, -t targets, -c characters, -i input), a more
specialised topic a multi-letter name (--argtypes, --katoms, --rewrite,
--optionsets, --coverage, --klammerset, --font); and -v says how much to show
about PROCESSING, never what the RESULT contains — so the katom regex column
is "--katoms full" and the coverage detail "--coverage all". NOTE: "-k" now
lists klammers (optionally filtered by a name/description search); the katom
table moved to "--katoms".
Fixes carried along: an option written with no value crashed the command with
SIGSEGV instead of reporting the mistake; two required positional arguments
never parsed; kdesc and kdiag printed an error and exited 0; and definition
diagnostics counted registrations rather than what was written, so one line
could be reported as two definitions and then printed twice.
Four new test suites: target_list, coverage, command_option, kdesc.
(from dev 46f54080bd9a)
2026-08-12 17:20:23 +02:00
|
|
|
@@default_font.k : Default font for documents @@
|
|
|
|
|
@@default_font.tex ::
|
2026-07-18 18:48:23 +02:00
|
|
|
# \setmainfont[Ligatures=TeX,Numbers=Lining]{Garamond Libre}
|
|
|
|
|
\setmainfont{Garamond Libre}
|
|
|
|
|
@@
|
|
|
|
|
|
|
|
|
|
@@cjk.k text : Switch to font that supports CJK for *text* @@
|
|
|
|
|
@@cjk.html :: *cjk* @@
|
|
|
|
|
@@cjk.tex :: { #- @font Noto Sans CJK SC @ *cjk* #- } @@
|
|
|
|
|
@@cjk.txt :: *cjk* @@
|
|
|
|
|
|
Target coverage: a klammer states the targets it serves
kdesc gains --coverage, which reports for every klammer the set of targets it
can render to, and — the point of it — which klammers' coverage cannot be
derived and must therefore be declared. Three rules: coverage is DERIVED
where the definitions determine it (a general body of klammer calls covers
the intersection of what those klammers cover, by a greatest fixpoint after
loading), DECLARED where the engine cannot interpret what decides it (an
@eval body, whose targets are undecidable), and UNKNOWN where nothing is
written — which never means "deliberately unavailable".
Two new spellings in a definition's name. A comma-separated target list,
"@@table.html,tex :: ...", gives one body several targets; it is surface
syntax, expanded at registration, and each member goes through the
redefinition rules on its own. And "@@date.* :: ..." writes the general
target out, asserting that the klammer works for EVERY target including ones
not yet defined — a stronger claim than a list of the targets defined today,
and the one target declaration that could be mechanically falsified.
The Standard Klammer Set was swept accordingly: it now has no general
definitions at all, every klammer names the targets it serves, six use ".*",
and tex and pdf are at zero undecided.
kdesc's flags are reorganised on two rules: a flag reached for often gets a
single letter (-k klammers, -t targets, -c characters, -i input), a more
specialised topic a multi-letter name (--argtypes, --katoms, --rewrite,
--optionsets, --coverage, --klammerset, --font); and -v says how much to show
about PROCESSING, never what the RESULT contains — so the katom regex column
is "--katoms full" and the coverage detail "--coverage all". NOTE: "-k" now
lists klammers (optionally filtered by a name/description search); the katom
table moved to "--katoms".
Fixes carried along: an option written with no value crashed the command with
SIGSEGV instead of reporting the mistake; two required positional arguments
never parsed; kdesc and kdiag printed an error and exited 0; and definition
diagnostics counted registrations rather than what was written, so one line
could be reported as two definitions and then printed twice.
Four new test suites: target_list, coverage, command_option, kdesc.
(from dev 46f54080bd9a)
2026-08-12 17:20:23 +02:00
|
|
|
@@fraktur.k s : Set text *s* in Fraktur @@
|
|
|
|
|
@@fraktur.tex :: \textfrak{*s*} @@
|
2026-07-18 18:48:23 +02:00
|
|
|
|
Target coverage: a klammer states the targets it serves
kdesc gains --coverage, which reports for every klammer the set of targets it
can render to, and — the point of it — which klammers' coverage cannot be
derived and must therefore be declared. Three rules: coverage is DERIVED
where the definitions determine it (a general body of klammer calls covers
the intersection of what those klammers cover, by a greatest fixpoint after
loading), DECLARED where the engine cannot interpret what decides it (an
@eval body, whose targets are undecidable), and UNKNOWN where nothing is
written — which never means "deliberately unavailable".
Two new spellings in a definition's name. A comma-separated target list,
"@@table.html,tex :: ...", gives one body several targets; it is surface
syntax, expanded at registration, and each member goes through the
redefinition rules on its own. And "@@date.* :: ..." writes the general
target out, asserting that the klammer works for EVERY target including ones
not yet defined — a stronger claim than a list of the targets defined today,
and the one target declaration that could be mechanically falsified.
The Standard Klammer Set was swept accordingly: it now has no general
definitions at all, every klammer names the targets it serves, six use ".*",
and tex and pdf are at zero undecided.
kdesc's flags are reorganised on two rules: a flag reached for often gets a
single letter (-k klammers, -t targets, -c characters, -i input), a more
specialised topic a multi-letter name (--argtypes, --katoms, --rewrite,
--optionsets, --coverage, --klammerset, --font); and -v says how much to show
about PROCESSING, never what the RESULT contains — so the katom regex column
is "--katoms full" and the coverage detail "--coverage all". NOTE: "-k" now
lists klammers (optionally filtered by a name/description search); the katom
table moved to "--katoms".
Fixes carried along: an option written with no value crashed the command with
SIGSEGV instead of reporting the mistake; two required positional arguments
never parsed; kdesc and kdiag printed an error and exited 0; and definition
diagnostics counted registrations rather than what was written, so one line
could be reported as two definitions and then printed twice.
Four new test suites: target_list, coverage, command_option, kdesc.
(from dev 46f54080bd9a)
2026-08-12 17:20:23 +02:00
|
|
|
@@euro.k f : The Euro symbol, followed by the amount *f* @@
|
|
|
|
|
@@euro.html :: &^#x20AC;*f* @@
|
|
|
|
|
@@euro.tex,txt :: €\,*f* @@
|
2026-07-18 18:48:23 +02:00
|
|
|
|
Target coverage: a klammer states the targets it serves
kdesc gains --coverage, which reports for every klammer the set of targets it
can render to, and — the point of it — which klammers' coverage cannot be
derived and must therefore be declared. Three rules: coverage is DERIVED
where the definitions determine it (a general body of klammer calls covers
the intersection of what those klammers cover, by a greatest fixpoint after
loading), DECLARED where the engine cannot interpret what decides it (an
@eval body, whose targets are undecidable), and UNKNOWN where nothing is
written — which never means "deliberately unavailable".
Two new spellings in a definition's name. A comma-separated target list,
"@@table.html,tex :: ...", gives one body several targets; it is surface
syntax, expanded at registration, and each member goes through the
redefinition rules on its own. And "@@date.* :: ..." writes the general
target out, asserting that the klammer works for EVERY target including ones
not yet defined — a stronger claim than a list of the targets defined today,
and the one target declaration that could be mechanically falsified.
The Standard Klammer Set was swept accordingly: it now has no general
definitions at all, every klammer names the targets it serves, six use ".*",
and tex and pdf are at zero undecided.
kdesc's flags are reorganised on two rules: a flag reached for often gets a
single letter (-k klammers, -t targets, -c characters, -i input), a more
specialised topic a multi-letter name (--argtypes, --katoms, --rewrite,
--optionsets, --coverage, --klammerset, --font); and -v says how much to show
about PROCESSING, never what the RESULT contains — so the katom regex column
is "--katoms full" and the coverage detail "--coverage all". NOTE: "-k" now
lists klammers (optionally filtered by a name/description search); the katom
table moved to "--katoms".
Fixes carried along: an option written with no value crashed the command with
SIGSEGV instead of reporting the mistake; two required positional arguments
never parsed; kdesc and kdiag printed an error and exited 0; and definition
diagnostics counted registrations rather than what was written, so one line
could be reported as two definitions and then printed twice.
Four new test suites: target_list, coverage, command_option, kdesc.
(from dev 46f54080bd9a)
2026-08-12 17:20:23 +02:00
|
|
|
# TODO: This needs to use MathJax.
|
|
|
|
|
# @@math s :center.bool false : @i *s* @ @@
|
2026-07-18 18:48:23 +02:00
|
|
|
|
|
|
|
|
@@sub.k base | script : Subscript: @sub x 2 @ @@
|
Target coverage: a klammer states the targets it serves
kdesc gains --coverage, which reports for every klammer the set of targets it
can render to, and — the point of it — which klammers' coverage cannot be
derived and must therefore be declared. Three rules: coverage is DERIVED
where the definitions determine it (a general body of klammer calls covers
the intersection of what those klammers cover, by a greatest fixpoint after
loading), DECLARED where the engine cannot interpret what decides it (an
@eval body, whose targets are undecidable), and UNKNOWN where nothing is
written — which never means "deliberately unavailable".
Two new spellings in a definition's name. A comma-separated target list,
"@@table.html,tex :: ...", gives one body several targets; it is surface
syntax, expanded at registration, and each member goes through the
redefinition rules on its own. And "@@date.* :: ..." writes the general
target out, asserting that the klammer works for EVERY target including ones
not yet defined — a stronger claim than a list of the targets defined today,
and the one target declaration that could be mechanically falsified.
The Standard Klammer Set was swept accordingly: it now has no general
definitions at all, every klammer names the targets it serves, six use ".*",
and tex and pdf are at zero undecided.
kdesc's flags are reorganised on two rules: a flag reached for often gets a
single letter (-k klammers, -t targets, -c characters, -i input), a more
specialised topic a multi-letter name (--argtypes, --katoms, --rewrite,
--optionsets, --coverage, --klammerset, --font); and -v says how much to show
about PROCESSING, never what the RESULT contains — so the katom regex column
is "--katoms full" and the coverage detail "--coverage all". NOTE: "-k" now
lists klammers (optionally filtered by a name/description search); the katom
table moved to "--katoms".
Fixes carried along: an option written with no value crashed the command with
SIGSEGV instead of reporting the mistake; two required positional arguments
never parsed; kdesc and kdiag printed an error and exited 0; and definition
diagnostics counted registrations rather than what was written, so one line
could be reported as two definitions and then printed twice.
Four new test suites: target_list, coverage, command_option, kdesc.
(from dev 46f54080bd9a)
2026-08-12 17:20:23 +02:00
|
|
|
@@sub.html,tex :: @eval font.Subsuper(K, "sub") eval@ @@
|
2026-07-18 18:48:23 +02:00
|
|
|
|
|
|
|
|
@@sup.k base | script : Superscript: @sup x 2 @ @@
|
Target coverage: a klammer states the targets it serves
kdesc gains --coverage, which reports for every klammer the set of targets it
can render to, and — the point of it — which klammers' coverage cannot be
derived and must therefore be declared. Three rules: coverage is DERIVED
where the definitions determine it (a general body of klammer calls covers
the intersection of what those klammers cover, by a greatest fixpoint after
loading), DECLARED where the engine cannot interpret what decides it (an
@eval body, whose targets are undecidable), and UNKNOWN where nothing is
written — which never means "deliberately unavailable".
Two new spellings in a definition's name. A comma-separated target list,
"@@table.html,tex :: ...", gives one body several targets; it is surface
syntax, expanded at registration, and each member goes through the
redefinition rules on its own. And "@@date.* :: ..." writes the general
target out, asserting that the klammer works for EVERY target including ones
not yet defined — a stronger claim than a list of the targets defined today,
and the one target declaration that could be mechanically falsified.
The Standard Klammer Set was swept accordingly: it now has no general
definitions at all, every klammer names the targets it serves, six use ".*",
and tex and pdf are at zero undecided.
kdesc's flags are reorganised on two rules: a flag reached for often gets a
single letter (-k klammers, -t targets, -c characters, -i input), a more
specialised topic a multi-letter name (--argtypes, --katoms, --rewrite,
--optionsets, --coverage, --klammerset, --font); and -v says how much to show
about PROCESSING, never what the RESULT contains — so the katom regex column
is "--katoms full" and the coverage detail "--coverage all". NOTE: "-k" now
lists klammers (optionally filtered by a name/description search); the katom
table moved to "--katoms".
Fixes carried along: an option written with no value crashed the command with
SIGSEGV instead of reporting the mistake; two required positional arguments
never parsed; kdesc and kdiag printed an error and exited 0; and definition
diagnostics counted registrations rather than what was written, so one line
could be reported as two definitions and then printed twice.
Four new test suites: target_list, coverage, command_option, kdesc.
(from dev 46f54080bd9a)
2026-08-12 17:20:23 +02:00
|
|
|
@@sup.html,tex :: @eval font.Subsuper(K, "sup") eval@ @@
|
2026-07-18 18:48:23 +02:00
|
|
|
|
|
|
|
|
@@copyright.k : Copyright symbol: © @@
|
|
|
|
|
@@copyright.html :: © @@
|
|
|
|
|
@@copyright.tex :: {\copyright} @@
|
|
|
|
|
|
|
|
|
|
@@registered.k : Registered symbol: ® @@
|
|
|
|
|
@@registered.html :: <sup>®</sup> @@
|
|
|
|
|
@@registered.tex :: \textsuperscript{\textregistered} @@
|
|
|
|
|
|
|
|
|
|
@@trademark.k : Trademark symbol: ™ @@
|
|
|
|
|
@@trademark.html :: <sup>™</sup> @@
|
|
|
|
|
@@trademark.tex :: \texttrademark{} @@
|
|
|
|
|
|
|
|
|
|
@@pi.k : Greek letter pi @@
|
|
|
|
|
@@pi.html :: π @@
|
|
|
|
|
@@pi.tex :: $\pi$ @@
|
|
|
|
|
|
|
|
|
|
@@rightarrow.k : Right-pointing arrow: @rightarrow@ @@
|
|
|
|
|
@@rightarrow.html :: &^#8594; @@
|
|
|
|
|
@@rightarrow.tex :: $\rightarrow$ @@
|
2026-07-25 21:16:21 +02:00
|
|
|
|
|
|
|
|
@@dot.k : Vertically entered dot @@
|
|
|
|
|
@@dot.tex :: $\cdot$ @@
|
|
|
|
|
@@dot.html :: ^00B7^ @@
|
|
|
|
|
@@dot.txt :: ^00B7^ @@
|