4 ms·Title should be fixed. It's "The + in TLA+", not "The and in TLA+"by devin 9y agoTitle should be fixed. It's "The + in TLA+", not "The and in TLA+"sctb 9y agoThanks, updated!