andrejv/wxmaxima — pull request #249 by DemiReticent (2013-02-09 01:52:11+00:00)
Title: Issue 170: Use Unicode minus instead of hyphen in Unicode mode

See #170

Using unicode minus U+2212 instead of en dash U+2013