2022-02-16 14:47:29 +01:00
|
|
|
|
ENVIRONMENTS = {
|
|
|
|
|
'prop': 'proposition',
|
|
|
|
|
'satz': 'theorem',
|
|
|
|
|
'kor': 'corollary',
|
|
|
|
|
'bsp': 'example',
|
|
|
|
|
'bem': 'remark',
|
2022-02-17 13:21:34 +01:00
|
|
|
|
'thm': 'theorem',
|
|
|
|
|
'cor': 'corollary',
|
2022-02-16 14:47:29 +01:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
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}',
|
2022-02-17 13:21:34 +01:00
|
|
|
|
r'\Tens': r'\tensor',
|
|
|
|
|
r'\ann': r'\Ann',
|
2022-02-17 13:23:02 +01:00
|
|
|
|
r'\Id': r'\id',
|
2022-02-17 14:08:09 +01:00
|
|
|
|
r'\cat': r'\mathcat',
|
|
|
|
|
r'\ob': r'\Ob',
|
2022-02-16 14:47:29 +01:00
|
|
|
|
}
|
2022-02-16 17:23:29 +01:00
|
|
|
|
|
|
|
|
|
UNICODE = {
|
|
|
|
|
'∃': r'\exists',
|
|
|
|
|
'∀': r'\forall',
|
|
|
|
|
'ℕ': r'\mathbb{N}',
|
|
|
|
|
'ℤ': r'\mathbb{Z}',
|
|
|
|
|
'Λ': r'\Lambda',
|
|
|
|
|
'⇔': r'\iff',
|
|
|
|
|
'⇒': r'\implies',
|
|
|
|
|
'⇐': r'\impliedby'
|
|
|
|
|
}
|
2022-03-31 19:05:54 +02:00
|
|
|
|
|
|
|
|
|
UTF8_REPLACEMENTS = {
|
|
|
|
|
r'\"o': 'ö',
|
|
|
|
|
r'\"a': 'ä',
|
|
|
|
|
r'\"u': 'ü',
|
|
|
|
|
r'\"O': 'Ö',
|
|
|
|
|
r'\"A': 'Ä',
|
|
|
|
|
r'\"U': 'Ü',
|
2022-03-31 23:19:47 +02:00
|
|
|
|
r'{\ss}': 'ß',
|
|
|
|
|
r'{ß}': 'ß',
|
2022-03-31 19:05:54 +02:00
|
|
|
|
}
|
2022-03-31 23:57:02 +02:00
|
|
|
|
|
|
|
|
|
TEX_SCRIPTSTYLES = {
|
|
|
|
|
r'\em' : r'\emph'
|
|
|
|
|
}
|