3 ms·
TLA+ also uses that convention (along with the temporal logic operators [] and <>, and some other unusual conventions like #=).
by mjb 3y ago
TLA+ also uses that convention (along with the temporal logic operators [] and <>, and some other unusual conventions like #=).