Revise Unicode display for summation sign as stated by Oleg Nesterov on maxima-discus...
commit997b09ded82c6b25aa14e807179e533b3fb08e48
authorRobert Dodier <robert_dodier@sourceforge.net>
Mon, 20 Nov 2023 02:31:21 +0000 (19 18:31 -0800)
committerRobert Dodier <robert_dodier@sourceforge.net>
Mon, 20 Nov 2023 02:31:21 +0000 (19 18:31 -0800)
treeeeda5dd02095bbb24ec7e314280d5dc5e19f59a5
parent3503c6befb58f087d9354072e7f3f0fac0843d2f
Revise Unicode display for summation sign as stated by Oleg Nesterov on maxima-discuss 2023-11-19.
Thanks, Oleg!
src/displa.lisp