/webapp/main.py |
---|
43,7 → 43,7 |
.replace(ur"p̚",ur"p ").replace(ur"t̚",ur"t ").replace(ur"'̚",ur"' ") \ |
.replace(u"\\",ur"").replace(ur"(",ur"").replace(ur")",ur"") \ |
.replace(ur"[",ur"").replace(ur"]",ur"") \ |
.replace(ur"$\cdot$",ur"").strip() |
.replace(ur"$cdot$",ur"").strip() |
s = re.sub(ur" or.*","",s) |
return s |