# 16.05.24

quantifiers_mapping = {
    '∀': 'for all',
    '∃': 'there exists'
}