🚀 go-pugleaf

In article <1991Jan23.011637.12016@csn.org> jdm@boulder.colorado.edu
(Jim Meiss) writes:
>	I have been trying to create the "for all" symbol using Word 4.0b on
>my IIcx with System 6.0.5  I have symbol font, and Key Caps reports that the
>combination "Shift '" will make for all. All I can get word to do is make the
>"circle R" symbol, which is actually "Option [" in symbol font.

Select Preferences... under the Edit menu and turn off the Smart Quotes option.
Shift-<'> will then produce the universal quantifier in the Symbol font.  Of
course, you'll have to remember to use the Option-<[, {, ], }> commands for
real quotes.

It would be nice if Word would automatically disable Smart Quotes when certain
fonts (like Symbol) were being used.  You could write a macro, but it probably
isn't worth it.  Does anybody else have any ideas?  (Besides making it a
feature on Word 5.  How hard could it be to allow the user to specify the
fonts that should not use Smart Quotes?)

I hope this helps.

David J. Whelan
Junior, Symbolic Systems
Stanford University