Tokenized Text

Some terms are tokenized, i.e., they aren't printed as typed but are used to look up what should be printed at the corresponding location. This isintended to enable users to alter terminology to their liking without having to search-and-replace text across dozens of files. For instances, a user may have a preference of "interpretation" over "structure," of "wff" over "formula," or simply prefers "formulas" to "formulae".

Tokens are defined in open-logic-config.sty using the command \settexttoken{token}[*]{printed text (singular)}{printed text (plural)}[printed text (singular uppercase)][printed text (plural uppercase)]. The optional star should be included if the replacement text begins with a (pronounced) vowel.

Tokens are used in text as !!{token} (to produce a singluar replacement text) or !!{token}s to produce a plural version. To get an upper-cased version for use at the beginning of a sentence, for instance, use !!^{token}. To get the replacement text plus an initial indefinite article, use !!a{token} (this will result in "a !!{token}" or "an !!{token}" if \settexttoken was used with the optional *. These can be combined, e.g., "!!^a{token}" for an uppercase article or "!!^{token}s" for an uppercase plural. \article{token} and \Article{token} produce just the article; it is useful if the replacement text itself should be styled in some way, e.g., "\article{enumerable} \emph{!!{enumerable}} set".

In section headings, the !! shorthand doesn't work. Use \printtoken{switch}{token} instead, where switch is "s" for singular, "p" for plural, "S" for uppercase singular, "P" for uppercase plural.