Patch unicode.xml to avoid some issues (workaround for #5) ; add the quadratic formula in examples (Arabic version for #4)