# 16.05.24 misc_symbols_mapping = { '↻': 'clockwise', '↺': 'counterclockwise', '⇒': 'implies', '⇐': 'is implied by', '⇑': 'upward', '⇓': 'downward', '∽': 'similar to', '∼': 'approximately' }