e.g. fts"S;ϕ:A -> B" Requires writing a regex that allows unicde as well as ->
e.g. fts"S;ϕ:A -> B"
Requires writing a regex that allows unicde as well as ->