diff options
Diffstat (limited to 'font/devps/symbolmap')
-rw-r--r-- | font/devps/symbolmap | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/font/devps/symbolmap b/font/devps/symbolmap index f14acd24..ac2b5bf2 100644 --- a/font/devps/symbolmap +++ b/font/devps/symbolmap @@ -213,6 +213,8 @@ ij ij infinity if integral is integral integral +# the next line overrides the (old) PUA value of the AGL +integralex u23AE intersection ca less < lessequal <= |