Talk:Safety and liveness properties

$..$ or {{{1}}}

I left the long math formulas using $...$ instead of {{{1}}}. 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)