search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

add \mathcal and \mathbb characters to unicode-latex-map #480

Closed jfschaefer closed 5 years ago

jfschaefer commented 5 years ago

I've left the existing jC, jN, ... to avoid annoying people who are already used to it.

Something like this was requested in https://github.com/UniFormal/IntelliJ-MMT/issues/12.

florian-rabe commented 5 years ago

No need for a pull request here - just push it.