@ -206,7 +206,7 @@ print_a_over_b(U *p)
//#ifdef TEX
//#else
if (d > 1)
if(!tex_flag && d > 1) //if (d > 1)
print_char(')');
if(tex_flag) print_str("}");