little bit typo - Githubissues

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic

https://forallx.openlogicproject.org/

Creative Commons Attribution 4.0 International

94 stars 30 forks source link

Closed ariandy closed 2 years ago

ariandy commented 2 years ago

relocating \S
fixed: Line 779, the connectives symbols looks smaller in pdf (I added Latex quotation marks to fix it)

rzach commented 2 years ago

Thanks!