"Using the Toolbox" shows both "/=" and "#" for not-equals

hwayne / learntla

A TLA+ guide

http://www.learntla.com

Creative Commons Attribution 4.0 International

278 stars 57 forks source link

Closed ajdavis closed 2 years ago

ajdavis commented 5 years ago

The text says,

add x /= 6 to the “Invariants” section

... but the screenshot shows "x # 6".

hwayne commented 5 years ago

They're both valid, I think I did it that way to emphasize they're both valid? But you're right, it's confusing