diff --git a/sections/1A.typ b/sections/1A.typ
index d517b67..de20907 100644
--- a/sections/1A.typ
+++ b/sections/1A.typ
@@ -1,4 +1,5 @@
-#import "../styles.typ": exercise_sol, ii, note, tab, simple_box, unset-list-indent
+#import "../styles.typ": exercise_sol, note, tab, simple_box, unset-list-indent
+#import "../math.typ": ii
 
 #exercise_sol(type: "proof")[
 	证明：$alpha + beta = beta + alpha$ 对所有 $alpha,beta in CC$ 成立。
diff --git a/sections/1B.typ b/sections/1B.typ
index c62517b..209c02c 100644
--- a/sections/1B.typ
+++ b/sections/1B.typ
@@ -1,4 +1,5 @@
-#import "../styles.typ": exercise_sol, ii, note, tab
+#import "../styles.typ": exercise_sol, note, tab
+#import "../math.typ": ii
 
 #exercise_sol(type: "proof")[
 	证明：$-(-v)=v$ 对任一 $v in V$ 都成立。
diff --git a/styles.typ b/styles.typ
index 37984cf..ebf2ddf 100644
--- a/styles.typ
+++ b/styles.typ
@@ -13,8 +13,6 @@
 
 #let tab = h(2em)
 #let halftab = h(1em)
-#let ee = "e"
-#let ii = "i"
 
 #let margin-wrapper(margin: 2.5em, body) = {
 	// set align(center)