Move all of the union and intersections off `\cup` and `\cap` - Githubissues

hwayne / learntla

A TLA+ guide

http://www.learntla.com

Creative Commons Attribution 4.0 International

278 stars 57 forks source link

Move all of the union and intersections off `\cup` and `\cap` #7

Closed hwayne closed 7 years ago

hwayne commented 7 years ago

Use \union and \intersect instead for consistency