General Info Syllabus Schedule Textbook Support Materials Grades

Microsoft Word File with built-in macros for derivation-writing.

I have written a special Microsoft Word file that has built-in macros that enable one to write logic derivations including automatic boxing and cancelling. In order to use it, follow the instructions below.

1. Microsoft Word Macro-Security Setting

Make sure Word's Security Setting is set so that macros can be enabled (at least at your discretion). Otherwise, the special macros in the derivation file will be disabled.

1. Open Word.

2. Select Tools|Macro|Security|Macro-Security|Security-Level .

3. Set level at medium or low.

If security is set to medium, then each time you open the file below, Word will ask whether you want to enable the macros. Say yes.

2. Download [310 Derivations.doc]

1. Click [here].

You should get a File Download dialog box. Choose Save; do not choose Open. Once the file has been downloaded, then open it.

Depending on your browser settings, you may not get a File Download dialog box, in which case the file will open inside your browser, but it will not function properly. Promptly save the file in a folder of your choice, then go to that folder and open the file inside MS Word.

Alternatively, Right-Click [here] and select "save target as".

2. Save File with a new name each time you plan to write a derivation.

3. To reuse this file, simply come back here, or open an earlier derivation file and save with a new name.
Special Symbol Fonts

1. Download Font

1. After familiarizing yourself with the directions below, click on the following to download fonts.

Font Name File Name
!GMHSymbol symbolgh.ttf
Lucida Bright Math Symbol Lmath1.ttf
Lucida Bright Math Extension Lmath2.ttf
Lucida Bright Math Italic Lmath3.ttf

2. When you click on one of the above, you should get a File Download dialog-box, [which will include a warning, which you can safely ignore]. Select "Save".

3. You should now have a Save As dialog-box. Select a folder in which to save the font file, and select SAVE. Remember the folder! You still need to INSTALL the font in the next step.

2. Install Font

1. Open the SAVE-folder – i.e., the folder, in which you saved the font file.

2. Open the FONTS folder.

To do this, click the START button, then click SETTINGS, then click CONTROL PANEL, then open (double-click) the FONTS folder.

3. Drag the font file [e.g., symbolgh.ttf] from the SAVE-folder (1) to the FONTS folder (2).

4. Double check by going to the FONTS folder and double-clicking on [e.g., !SymbolGMH].

Note: The FONTS folder lists files by their font-names [e.g., ‘Times New Roman’], not their file-names.

Microsoft Word for Windows

Earlier versions of Microsoft Word for Windows are available at very good prices from various on-line vendors. For example, Word 2002 is available for less than $40. It's also available bundled inside Microsoft Works Suite for a similar price.

The following are links to web sites that provide price comparisons.

PriceGrabber.com

NexTag.com