求教大神，
用Solve解出方程的后，在notebook端输出类似如下，
{{x -> ConditionalExpression[1 - y, 3/2 < b < 3 && b/(-1 + b) < a < 3 && 1/b < y < (-1 + a)/a]}}
但是如果用Export输出上述结果到文件，文件内容就变成了：
{x -> ConditionalExpression[1 - y, Inequality[3/2, Less, b, Less, 3] && Inequality[b/(-1 + b), Less, a, Less, 3] && Inequality[b^(-1), Less, y, Less, (-1 + a)/a]]}
有什么办法能使文件内显示的内容跟notebook输出的形式一致吗？

……试了半天，发现对于你这个特定问题，可以有个邪招。举例：
expr = Inequality[3/2, Less, b, Less, 3]
Export["a.txt", expr // ToBoxes // ToExpression] // SystemOpen
但这招对于混合了大（小）于和大（小）于等于的情况无效。具体的转换规则我也不清楚，如果确实需要弄清楚这个可以考虑去Stackexchange上问问。
不过啊，话说回来，你为啥需要实现这个？
如果是想把表达式导出去方便以后在Mathematica里用，那这个无所谓，因为两个形式Mathematica都认；再说了这种情况用DumpSave更方便。
如果是要用在别的程序语言里，那需要处理的显然就不止是不等号了。
如果是要插入Word之类的地方，那显然复制为LaTeX或者MathML（顺便，.docx的公式编辑器能直接识别MathML）更合理。
所以说你为啥想这么干？

要不就大力出奇迹吧，示例：
Export["a.txt",
StringJoin[ToString /@ (2 < b <= 3 /. Inequality -> List /. Less :> "<" /.
LessEqual -> "<=")]] // SystemOpen
上面只是个例子，要覆盖全部情况你还得多来几条规则大概。

很简答 输出为wl格式
比如Export["test.wl", Solve[x^2 + a x + 1 == 0, x]]

比如这是你的问题的表达式

{{x->ConditionalExpression[1-y,3/2<b<3&&b/(-1+b)<a<3&&1/b<y<(-1+a)/a]}}//InputForm//ToString
也许这样就行了？