search

hwayne / learntla

A TLA+ guide
http://www.learntla.com
Creative Commons Attribution 4.0 International
278 stars 57 forks source link

fix(tla/logic): escape underscores #101

Closed hansbogert closed 3 years ago

hansbogert commented 3 years ago

I think this is needed, as currently, it's rendered as shown:

image

hansbogert commented 3 years ago

Gentle nudge to @hwayne