[Tablatex]  Improve slightly double rules rendering for forbidden values.
[tabsign] Rewrite tests.
[Solver] Fix issue 306: solve(x-sqrt(x^2-5)>0)