OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.04k stars 237 forks source link

Few little typo fixes #290

Closed rienath closed 2 years ago

rienath commented 2 years ago

Fixed a few typos.

comoncommon

Added closing bracket: “∩”, “=”, or “∅“∩”, “=”, or “∅”

Changed 5 to k as we are throwing k dice, not 5 (makes more sense when reading the entire paragraph): So we can throw any value between k + 1 and 6k + 1 by throwing 5 dice and then rolling a 1 with the (k + 1)-st dieSo we can throw any value between k + 1 and 6k + 1 by throwing k dice and then rolling a 1 with the (k + 1)-st die

rzach commented 2 years ago

Thanks!