diff options
Diffstat (limited to 'font/devps')
-rw-r--r-- | font/devps/S | 1 | ||||
-rw-r--r-- | font/devps/generate/textmap | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/font/devps/S b/font/devps/S index 52d7fd67..a2416b8f 100644 --- a/font/devps/S +++ b/font/devps/S @@ -206,6 +206,7 @@ barex " bv " ra 329,746,198,0,-21 3 0361 -- angleright is 274,916,107,67,52,-10 3 0362 -- integral +integral " --- 686,921,83,29,-332 3 0363 -- integraltp --- 686,975,88,0,-332 3 0364 -- integralex --- 686,921,81,0,-39 3 0365 -- integralbt diff --git a/font/devps/generate/textmap b/font/devps/generate/textmap index a68fc8eb..f69a9a05 100644 --- a/font/devps/generate/textmap +++ b/font/devps/generate/textmap @@ -210,6 +210,7 @@ igrave `i ij ij infinity if integral is +integral integral intersection ca less < lessequal <= |