我正在编写自己的符号逻辑模块，其中包含句子类，原子和连词的子类，等等。我想以一种自然的方式定义句子之间的操作，并可能最终定义用于通用量化的操作等等。到目前为止，我已定义__invert__和__and__。
我稍微不满意使用|作为“或”因为在Logic中这通常用V形楔形表示，但我可以忍受它。同样地，我想要一个中缀运算符“if ... then ...”和“...... if if only only if ...”。理想情况下，我喜欢“if ... then ...”类似于->，但我又愿意与>一起生活，所以我定义了__gt__。
但是我有点陷入僵局“......当且仅当......”对于那个似乎真的没有好的选择。我可能会使用==，但我可能会再次保留相同的句子，所以......
有什么建议吗？