In the macOS ChatGPT app, formulas and expressions related to logic (e.g. propositional logic, predicate logic) are not rendered properly. However, the same content displays correctly in the web version of ChatGPT. This affects readability and usability for users working with formal logic.
`Expected Result`
Logical formulas and symbols (such as ∧, ∨, →, ¬, ∀, ∃, ⊢, etc.) should be rendered correctly and consistently in the macOS app, just as they are in the web version. Ideally, they should appear using proper formatting (e.g., with spacing and alignment that reflects logical structure), and if LaTeX is used, it should render properly as well.
`Actual Result`
n the macOS ChatGPT app, logical formulas are either displayed as plain text with incorrect formatting or symbols are misaligned/missing. For example, LaTeX-style notation is not rendered properly — instead, the raw code is shown (e.g., \forall x (P(x) → Q(x)) instead of a properly rendered formula). This makes the content hard to read or interpret. In contrast, the same prompt shows correctly formatted logic on the web version.
hushed pike
quiet kernel
