replace.py

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)