Skip to content

Display not equals in Latexise, simplify Notf(Andf) and Notf(Orf)#653

Merged
Happypig375 merged 5 commits into
masterfrom
notequals
Jan 13, 2026
Merged

Display not equals in Latexise, simplify Notf(Andf) and Notf(Orf)#653
Happypig375 merged 5 commits into
masterfrom
notequals

Add another test for expanding nested nots

4503c5e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar