[OpenLogic] Tokenizing terms

[Richard Zach]

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