diff --git a/lib/symbols b/lib/symbols index 9cf93e9f09..3094df01eb 100644 --- a/lib/symbols +++ b/lib/symbols @@ -144,7 +144,7 @@ ll cmsy 191 0 mathrel leftrightarrow cmsy 36 171 mathrel leftarrow cmsy 32 172 mathrel rightarrow cmsy 33 174 mathrel -mapsto cmsy 55 0 mathrel +mapstochar cmsy 55 0 mathrel sim cmsy 187 126 mathrel simeq cmsy 39 0 mathrel perp cmsy 63 0 mathrel