search

asciimath / asciimathml

A new home for asciimathml
http://asciimath.org/
MIT License
957 stars 183 forks source link

Support Downarrow #138

Open wolverian opened 2 years ago

wolverian commented 2 years ago

This is nice for stuff like big-step semantics:

Screenshot 2022-07-01 at 10 15 08