#7 U+22D3 DOUBLE UNION and U+22D2 DOUBLE INTERSECTION reversed

closed-fixed
nobody
None
5
2012-02-27
2011-07-08
No

This pair of symbols appear to have been interchanged.

Discussion

  • stipub

    stipub - 2011-07-14

    This issue has been noted and will be fixed in the next release which is being actively worked on and we hope tp issue in the near future.

     
  • stipub

    stipub - 2012-02-27

    This problem has been corrected in version 1.1.0

     
  • stipub

    stipub - 2012-02-27
    • status: open --> closed
     
  • stipub

    stipub - 2012-02-27
    • status: closed --> closed-fixed
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks