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
83 B
Plaintext
2 lines
83 B
Plaintext
σ skill=='C' and chief==0 ((σ age<30 (people) ∪ σ age>40(people)) ⋈ skills)
|