Skip to content

Add \Remark, \NamedProof, \SmileWithTear macros to handout template #76

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
PatrikBak merged 1 commit into from
May 7, 2026
Merged

Add \Remark, \NamedProof, \SmileWithTear macros to handout template #76

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions backend/src/Core/MathComps.TexParser/TexCleaner/tex_cleaner_rules.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,9 @@
\\itemvar\{(.*)\} => \item{$1}

\{\s*\\it\s(.*?)(?:\\\/)?\} => \textit{$1}
\{\s*\\em\s(.*?)(?:\\\/)?\} => \textit{$1}
\\emph\{(.*?)\} => \textit{$1}
\\NamedProof\{(.*?)\} => \textit{$1}

\\geqq(?![A-Za-z]) => \ge
\\leqq(?![A-Za-z]) => \le
Expand All @@ -58,6 +60,8 @@
\\pozn[aá]mka(?![A-Za-z]) => \textit{Poznámka.}
\\note(?![A-Za-z]) => \textit{Remark.}
\\remark(?![A-Za-z]) => \textit{Remark.}
\\Remark\{([^}]*)\}(?![A-Za-z]) => \textit{Poznámka ($1).}
\\Remark(?![A-Za-z]) => \textit{Poznámka.}

\\align(?![A-Za-z]) => \begin{align*}
\\endalign(?![A-Za-z]) => \end{align*}
Expand Down Expand Up @@ -92,6 +96,7 @@

\\SlightSmile(?![A-Za-z]) => 🙂
\\Laugh(?![A-Za-z]) => 😄
\\SmileWithTear(?![A-Za-z]) => 🥲

[remove]

Expand Down Expand Up @@ -147,6 +152,7 @@ choose
circ
clubsuit
colon
cong
cos
cotg
cr
Expand Down Expand Up @@ -184,6 +190,7 @@ lceil
ldots
le
left
Leftarrow
leq
leqslant
lfloor
Expand Down
29 changes: 28 additions & 1 deletion data/handouts/_template.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,7 @@
% Emoji macros: render as ASCII in the PDF, replaced with UTF-8 emoji on the web
\def\SlightSmile{:-)}
\def\Laugh{:D}
\def\SmileWithTear{:'-)}

% Prints a link to the MathComps website to the handout
\def\MathcompsLink#1{%
Expand All @@ -54,6 +55,7 @@
\def\captionExample{Příklad}%
\def\captionSolution{Řešení}%
\def\captionProblem{Úloha}%
\def\captionRemark{Poznámka}%
\def\captionProblemSolutions{Řešení k úlohám}
\def\captionExerciseSolutions{Řešení ke cvičením}
\def\captionHints##1{%
Expand Down Expand Up @@ -90,6 +92,7 @@
\def\captionExample{Príklad}%
\def\captionSolution{Riešenie}%
\def\captionProblem{Úloha}%
\def\captionRemark{Poznámka}%
\def\captionProblemSolutions{Riešenia k úlohám}
\def\captionExerciseSolutions{Riešenia k cvičeniam}
\def\captionHints##1{%
Expand Down Expand Up @@ -126,6 +129,7 @@
\def\captionExample{Example}%
\def\captionSolution{Solution}%
\def\captionProblem{Problem}%
\def\captionRemark{Remark}%
\def\captionProblemSolutions{Solutions to problems}
\def\captionExerciseSolutions{Solutions to exercises}
\def\captionHints##1{%
Expand Down Expand Up @@ -195,6 +199,11 @@
\long\def\saferead#1{\ignorespaces#1}
\long\def\safepar{\par\removelastskip}

% Remark: \Remark text or \Remark{label} text
\def\Remark{\safepar\isnextchar\bgroup{\remarkwitharg}{\remarknoarg}}
\long\def\remarkwitharg#1{\textit{\captionRemark\ (#1).}\enskip}
\def\remarknoarg{\textit{\captionRemark.}\enskip}

% Prints the end of a block (exercise, theorem, example, definition)
\def\endblock{%
\safepar\medskip%
Expand Down Expand Up @@ -256,10 +265,28 @@
\enskip\saferead{#2}\safepar%
}%
\def\temp{#3}\ifx\temp\empty\else%
\safepar{\em \captionProof.}\enskip\saferead{#3}\qedsquare\endblock%
\safepar%
\theoremDispatchProof#3\theoremDispatchEnd%
\qedsquare\endblock%
\fi%
}

% Peeks at the first token of the proof body. If it is \NamedProof, the body
% supplies its own labelled proof headers, so emit the body verbatim. Otherwise
% prepend the standard "\captionProof." italic header.
\long\def\theoremDispatchProof#1#2\theoremDispatchEnd{%
\ifx#1\NamedProof%
#1#2%
\else%
{\em \captionProof.}\enskip\saferead{#1#2}%
\fi%
}

% Named proof header inside a multi-proof \Theorem body. The argument is
% rendered in italics, matching the standard \captionProof style. Acts as a
% sentinel for \theoremDispatchProof to suppress the auto "\captionProof." prefix.
\def\NamedProof#1{\textit{#1}}

% #1 - Source (might be empty)
% #2 - Statement
% #3 - Solution
Expand Down
Loading