Flex-Bison string processing

[Vladimir Rykov]

  The more string processing examples - the better

Actually my problem is to parse and convert into XML file a Math notations
like this:

         k <= n implies k <= n +m

or

      (for x holds x c- X iff  x c- Y ) implies X = Y

                                        ("iff" - if and only if - to and
back and "c-" means membership)

I other words       " - if (and only if) every x belongs to both sets X and
Y then they are equal"

and so on

Vladimir