make consistent reductio notation in ND

jonathanichikawa / for-all-x

Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa

Creative Commons Attribution 4.0 International

16 stars 5 forks source link

Open jonathanichikawa opened 1 year ago

jonathanichikawa commented 1 year ago

Sometimes it says "for reductio", sometimes it says "want \bot". Pick one and be consistent.