Rbos (talk) 09:25, 2 July 2021 (PDT) whoops, forgot the mediawiki Math extension. Looking into it.
Rbos (talk) 09:45, 2 July 2021 (PDT) fixed, reverted your edits. A bunch of other pages also used it, so thanks for noticing that! I subscribe to an RSS feed of changes. :)