diff options
Diffstat (limited to 'font/devps/generate/textmap')
| -rw-r--r-- | font/devps/generate/textmap | 1 |
1 files changed, 1 insertions, 0 deletions
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 <= |