[OpenLogic] Tokenizing terms

[Richard Zach]

Hi,

I added the ability to tokenize text.  For instance, !!{formula} now 
produces (unsurprisingly) "formula" wherever it occurs.  !p{formula} 
produces a plural version, "formulae" for now.  It can be redefined to 
produce "formulas" instead, or even to use "wff" instead of "formula". 
!S and !P produce capitalized versions for use at the beginnings of 
sentences.

If we can make a list of terms we think should be "tokenized" in this 
way and what their default expansion should be, I can write a script 
that replaces them in all files so far.

Send me your nominations, or add them to open-logic-tokens.sty

-R
-- 
Richard Zach ..... http://www.ucalgary.ca/~rzach/
Professor,             Department  of  Philosophy
University of Calgary, Calgary AB T2N 1N4, Canada