From rzach at ucalgary.ca  Thu Dec 19 16:14:53 2013
From: rzach at ucalgary.ca (Richard Zach)
Date: Thu Dec 19 16:15:19 2013
Subject: [OpenLogic] Tokenizing terms
Message-ID: <52B37DED.4080100@ucalgary.ca>

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
From rzach at ucalgary.ca  Mon Dec 30 14:48:56 2013
From: rzach at ucalgary.ca (Richard Zach)
Date: Mon Dec 30 14:48:52 2013
Subject: [OpenLogic] Tokenizing terms
In-Reply-To: <52B37DED.4080100@ucalgary.ca>
References: <52B37DED.4080100@ucalgary.ca>
Message-ID: <52C1EA48.1040805@ucalgary.ca>

If you have any requests or ideas for tokenized text, please add it here:

https://github.com/OpenLogicProject/OpenLogic/wiki/Tokenized-Text


On 13-12-19 04:14 PM, Richard Zach wrote:
> 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