Commit 3f292ba8 authored by Sergey Goncharov's avatar Sergey Goncharov
Browse files

swapping and and or

parent 9befcd4d
Pipeline #29144 passed with stage
in 41 seconds
...@@ -83,8 +83,8 @@ ...@@ -83,8 +83,8 @@
\providecommand{\True}{\top} \providecommand{\True}{\top}
\providecommand{\False}{\bot} \providecommand{\False}{\bot}
\providecommand{\bigand}{\bigvee} \providecommand{\bigor}{\bigvee}
\providecommand{\bigor}{\bigwedge} \providecommand{\bigand}{\bigwedge}
\providecommand{\impl}{\Rightarrow} \providecommand{\impl}{\Rightarrow}
\providecommand{\equ}{\Longleftrightarrow} \providecommand{\equ}{\Longleftrightarrow}
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment