#18270: Print matrices using unicode large delimiters (on demand)
-------------------------------------+-------------------------------------
       Reporter:  gagern             |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.7
      Component:  user interface     |   Resolution:
       Keywords:  unicode matrix     |    Merged in:
        Authors:  Martin von Gagern  |    Reviewers:  Volker Braun
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/gagern/MatrixUnicodeDelimiters   |  6b6f089590377c61061bc4629e44adb47da6a0e1
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by gagern):

 * status:  needs_work => needs_review


Comment:

 This is my attempt to make things look reasonably useful, even though the
 vertical spacing and placement is far from optimal. But seeing how many
 other unicode symbols are represented with crude ASCII work-arounds, I
 think the amount of effort I put into this should be at least on a similar
 level.

 I just filed #18370 about better unicode support by switching to XeTeX or
 luaTeX. I have no experience with these, but I've read on several
 occasions that they offer far superior Unicode support. In this sense, I
 hope that my unicode symbol declarations will be a temporary workaround,
 although I have no idea just how temporary.

--
Ticket URL: <http://trac.sagemath.org/ticket/18270#comment:21>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to