addOne[x \in Nat] == x + 1
addOneOperator(x) == x + 1
--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6108b306-0d5a-4a0f-80bf-6c56ebefc51fn%40googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/f9fd9da4-02b6-48fe-84b9-c79dab04bfacn%40googlegroups.com.