more envs / deprecated replacements
This commit is contained in:
parent
7233dc4dc4
commit
e197d0e3c8
1 changed files with 5 additions and 0 deletions
|
@ -4,6 +4,8 @@ ENVIRONMENTS = {
|
||||||
'kor': 'corollary',
|
'kor': 'corollary',
|
||||||
'bsp': 'example',
|
'bsp': 'example',
|
||||||
'bem': 'remark',
|
'bem': 'remark',
|
||||||
|
'thm': 'theorem',
|
||||||
|
'cor': 'corollary',
|
||||||
}
|
}
|
||||||
|
|
||||||
ALPHABETS = {
|
ALPHABETS = {
|
||||||
|
@ -19,6 +21,9 @@ DEPRECATED = {
|
||||||
r'\se': r'\subseteq',
|
r'\se': r'\subseteq',
|
||||||
r'\sm': r'\setminus',
|
r'\sm': r'\setminus',
|
||||||
r'\st': r'^{\ast}',
|
r'\st': r'^{\ast}',
|
||||||
|
r'\Tens': r'\tensor',
|
||||||
|
r'\ann': r'\Ann',
|
||||||
|
r'\Id': r'\id'
|
||||||
}
|
}
|
||||||
|
|
||||||
UNICODE = {
|
UNICODE = {
|
||||||
|
|
Loading…
Reference in a new issue