Enrico Forestieri 6e6abe1edd Fix #5760 also on Windows.
The problem was due to the use of the wrong symbol for the slash.
The zero-width symbol for the \not operator was being used.
Using TeX fonts for all symbols gives now a better uniform look.
It is not possible using the alternative code even with Qt 5.4.1
because some glyphs are still missing.
2015-05-05 01:38:50 +02:00
..
2015-05-05 01:38:50 +02:00
2015-01-08 20:46:54 +01:00
2014-11-30 12:52:01 +01:00
2014-08-31 15:21:20 +02:00