Skip to content

Instantly share code, notes, and snippets.

@lascar-pacagi
Created January 17, 2020 08:59
Embed
What would you like to do?
import sys
import re
s = sys.argv[1]
s = re.sub('⟮', '(', s)
s = re.sub('⟯', ')', s)
s = re.sub('│', '|', s)
s = re.sub('⭑', '*', s)
s = re.sub('⁺', '+', s)
s = re.sub('?', '?', s)
s = re.sub('ε', 'ϵ', s)
print(s)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment