diff options
Diffstat (limited to 'font/devps/S')
-rw-r--r-- | font/devps/S | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/font/devps/S b/font/devps/S index 30bd6150..164f695d 100644 --- a/font/devps/S +++ b/font/devps/S @@ -128,14 +128,17 @@ arrowverttp " da 603,888,22 3 0257 -- arrowdown arrowvertbt " de 400,685 3 0260 -- degree -+- 549,645 3 0261 -- plusminus +t+- 549,645 3 0261 -- plusminus ++- " sd 411,737 3 0262 -- second >= 549,639 3 0263 -- greaterequal -mu 549,524 3 0264 -- multiply +tmu 549,524 3 0264 -- multiply +mu " pt 713,404 3 0265 -- proportional pd 494,746,20 3 0266 -- partialdiff bu 460,473 3 0267 -- bullet -di 549,456 3 0270 -- divide +tdi 549,456 3 0270 -- divide +di " != 549,549,25 3 0271 -- notequal == 549,443 3 0272 -- equivalence ~~ 549,394 3 0273 -- approxequal |