8cb08ad030
The symbols previously used were a Canadian script, and were looking good enough, but they might not be installed in every machine. Besides, all this is to workaround a Qt5 bug that prevents from rendering those symbols at times.
2 lines
56 B
Plaintext
2 lines
56 B
Plaintext
σ age<30 (σ (id%2==0) (people) ∪ σ age>22(people))
|