legacy-code-converter/constants.py

22 lines
377 B
Python

ENVIRONMENTS = {
'prop': 'proposition',
'satz': 'theorem',
'kor': 'corollary',
'bsp': 'example',
'bem': 'remark',
}
ALPHABETS = {
'b': 'mathbb',
'c': 'mathcal',
'f': 'mathfrak',
'': 'mathbb',
}
DEPRECATED = {
r'\eps': r'\varepsilon',
r'\inv': r'^{-1}',
r'\se': r'\subseteq',
r'\sm': r'\setminus',
r'\st': r'^{\ast}',
}