legacy-code-converter/constants.py

ENVIRONMENTS = {
    'prop': 'proposition',
    'satz': 'theorem',
    'kor': 'corollary',
    'bsp': 'example',
    'bem': 'remark',
    'thm': 'theorem',
    'cor': 'corollary',
}

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}',
    r'\Tens': r'\tensor',
    r'\ann': r'\Ann',
    r'\Id': r'\id'
}

UNICODE = {
    '∃': r'\exists',
    '∀': r'\forall',
    'ℕ': r'\mathbb{N}',
    'ℤ': r'\mathbb{Z}',
    'Λ': r'\Lambda',
    '⇔': r'\iff',
    '⇒': r'\implies',
    '⇐': r'\impliedby'
}