search

UniFormal / MMT

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

fix direction of unicode arrows in latex map #583

Open flogth opened 10 months ago

flogth commented 10 months ago

These seem to have been going in the wrong direction.