docs: def latex(self):
          """
          Returns a string representation for use in LaTeX
          """
          if not self:
              return ""
          s = str(self)
          s = s.replace("==", " = ")
          s = s.replace("<=", " \leq ")
          s = s.replace(">=", " \geq ")
          s = s.replace("&&", r" \text{ and } ")
          s = s.replace("||", r" \text{ or } ")
          return s