Logic Fonts

In case you would like to type the problem set solutions in Word, it may help to download some math fonts that contain many of the symbols we've been employing. The fonts are available here.