diff --git a/convert.md b/convert.md index f432f65..17cba08 100644 --- a/convert.md +++ b/convert.md @@ -20,12 +20,12 @@ **第一步,名字替换:** - + `newdef` 改为 `definition` - + `newthem` 改为 `theorem` - + `newlemma` 改为 `lemma` - + `newcorol` 改为 `corollary` - + `newprop` 改为 `proposition` - + `newproof` 改为 `proof` ++ `newdef` 改为 `definition` ++ `newthem` 改为 `theorem` ++ `newlemma` 改为 `lemma` ++ `newcorol` 改为 `corollary` ++ `newprop` 改为 `proposition` ++ `newproof` 改为 `proof` **第二步:选项替换:**