mirror of
https://github.com/Arrowar/StreamingCommunity.git
synced 2025-06-07 12:05:35 +00:00
8 lines
365 B
Python
8 lines
365 B
Python
# 16.05.24
|
||
|
||
math_symbols_mapping = {
|
||
'≡': '===', '≠': '!=', '≈': '~~', '≪': '<<', '≫': '>>',
|
||
'⊂': 'sub', '⊃': 'sup', '⊆': 'subeq', '⊇': 'supeq',
|
||
'∪': 'U', '∩': 'n', '∅': 'empty', '∈': 'in', '∉': 'notin', '∀': 'forall', '∃': 'exists',
|
||
'⊥': 'perp', '∠': 'angle', '∟': 'langle', '∣': 'vert', '∴': 'therefore'
|
||
} |