Show pagesourceOld revisionsBacklinksBack to top Share via Share via... Twitter LinkedIn Facebook Pinterest Telegram WhatsApp Yammer Reddit TeamsRecent ChangesSend via e-MailPrintPermalink × Operator override TODO: https://github.com/tlaplus/tlaplus/issues/413#issuecomment-571330604 using/operator_override.txt Last modified: 2024/09/28 17:58by 127.0.0.1