From 6daea71f00df9ed9595f38979088d22bfa9cf615 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Sat, 21 Mar 2026 12:33:22 +0800 Subject: [PATCH] add a workaround for mathrlap{/}{\backslash} problems are not labeled in obsidian. so remove problem number --- math-macros.md | 2 +- src/ChaoDoc.hs | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/math-macros.md b/math-macros.md index d776d60..84176b9 100644 --- a/math-macros.md +++ b/math-macros.md @@ -20,7 +20,7 @@ \newcommand{\argmax}{\operatorname{arg\,max}} \newcommand{\del}{\setminus} \newcommand{\con}{/} -\newcommand{\minor}{\mathrlap{/}{\setminus}} +\newcommand{\minor}{\times} \newcommand{\floor}[1]{\left\lfloor #1 \right\rfloor} \newcommand{\ceil}[1]{\left\lceil #1 \right\rceil} \newcommand{\set}[1]{\left\{ #1 \right\}} diff --git a/src/ChaoDoc.hs b/src/ChaoDoc.hs index 54e7034..474c30c 100644 --- a/src/ChaoDoc.hs +++ b/src/ChaoDoc.hs @@ -68,7 +68,7 @@ incrementalBlock = "Definition", "Example", "Lemma", - "Problem", + -- "Problem", "Proposition", "Corollary", "Observation", @@ -78,14 +78,14 @@ incrementalBlock = "定义", "例", "引理", - "问题", + -- "问题", "命题", "推论", "观察" ] otherBlock :: [Text] -otherBlock = ["Proof", "Remark", "证明", "备注"] +otherBlock = ["Problem", "Proof", "Remark", "问题", "证明", "备注"] theoremClasses :: [Text] theoremClasses = incrementalBlock ++ otherBlock