search

UniFormal / MMT

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

Allow ticks in bound variable names #526

Open ComFreek opened 4 years ago

ComFreek commented 4 years ago

image

Is there a reason that MMT supports many Unicode characters in variable names, but not ticks?