/replace.py
Created Jan 17, 2020
| 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