Skip to content

Adopt \Remark and \NamedProof macros in existing handouts#78

Merged
PatrikBak merged 1 commit into
mainfrom
patrik/adopt-remark-macros
May 7, 2026
Merged

Adopt \Remark and \NamedProof macros in existing handouts#78
PatrikBak merged 1 commit into
mainfrom
patrik/adopt-remark-macros

Conversation

@PatrikBak
Copy link
Copy Markdown
Owner

Summary

Adoption pass for the new template macros introduced in #76:

  • \Remark plain — replaces hand-rolled \textit{Poznámka.} in CS/SK editions of induction, proofs-basics, introduction-to-inequalities, fun-algebra, systems-of-equations (~28 sites).
  • \Remark{1} / \Remark{2} — replaces \textit{Poznámka 1.} / \textit{Poznámka 2.} in proofs-basics.{cs,sk}.tex. Rendering changes from "Poznámka 1." to "Poznámka (1)." (parenthesised) — deliberate style update from the macro design.
  • \NamedProof{...} — replaces the two italic sub-proof headers in the AM-GM theorem inside induction.{cs,sk,en}.tex. Trailing punctuation switches from : to . to match the angle-basics convention. Body output is otherwise identical (auto "Dôkaz." prefix still fires since \NamedProof is mid-body, not first token).

Why EN handouts were not migrated for \Remark

The TeX cleaner (tex_cleaner_rules.txt) emits a hardcoded Slovak \textit{Poznámka.} for \Remark regardless of the source file's language. Migrating EN handouts would render Slovak text on the web. Until the cleaner is made language-aware, EN editions keep the literal \textit{Note.} (which passes through unchanged on the web). \NamedProof is unaffected — its cleaner rule is language-neutral (just italicises the contents).

Stacking

Stacked on #76 (patrik/template-remark). The PR base is patrik/template-remark so the diff shows only the adoption changes; retarget to main after #76 merges.

🤖 Generated with Claude Code

Migrates \textit{Poznámka.} / \textit{Note.} / \textit{Poznámka 1.} to
\Remark / \Remark{1} in CS/SK editions of induction, proofs-basics,
introduction-to-inequalities, fun-algebra, and systems-of-equations.
Numbered remarks now render parenthesised ("Poznámka (1).") to match
the macro design. Multi-proof headers in the AM-GM theorem switch from
{\it ...:} to \NamedProof{...} ending in "." across all three languages.

EN handouts intentionally keep \textit{Note.} for plain remarks: the
TeX cleaner produces a hardcoded Slovak caption for \Remark, so EN
adoption awaits a language-aware cleaner. \NamedProof migration in
induction.en.tex is unaffected (cleaner rule is language-neutral).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@vercel
Copy link
Copy Markdown

vercel Bot commented May 7, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
math-comps Ready Ready Preview, Comment May 7, 2026 9:31pm

Base automatically changed from patrik/template-remark to main May 7, 2026 21:32
@PatrikBak PatrikBak merged commit 8a9872f into main May 7, 2026
4 checks passed
@PatrikBak PatrikBak deleted the patrik/adopt-remark-macros branch May 7, 2026 21:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant