Talk:Safety and liveness properties

$$..$$ or
I left the long math formulas using $$...$$ instead of

. However, not there is inconsistency. Sometimes, SP is in italics, sometimes not. I don't like this. I will investigate, slowly but steadily, putting all math in $$..$$ DavidGries (talk) 21:46, 19 October 2022 (UTC) DavidGries (talk) 21:46, 19 October 2022 (UTC)