# 4  Resetting SLaTeX’s defaults

A sample style modification file for SLaTeX would include redefinition of the names of the codesetting control sequences; adjustment of the display parameters; modification of the font assignments for keywords, constants, variables, and special symbols; and addition of new keywords, constants, variables, and special symbols to SLaTeX’s database.

Let’s assume you want

1. a centered display style with no vertical skips;

2. the names \code, {schemefrag}, {scmbox}, \sinput instead of \scheme, {schemedisplay}, {schemebox} and \schemeinput;

3. tokens to disregard case;

4. the keywords to come out in typewriter, the constants in roman, and the variables in bold;

5. und and oder as keywords, true and false as constants, define as a variable (overriding default as keyword!), F as a constant (f will also be a constant, due to case-insensitivity!);

6. top and bottom to print as and respectively.

This could be set up as

\abovecodeskip 0pt
\belowcodeskip 0pt
\leftcodeskip 0pt plus 1fil
\rightcodeskip 0pt plus 1fil

\undefschemetoken{scheme}
\undefschemeboxtoken{schemebox}
\undefschemedisplaytoken{schemedisplay}
\undefschemeinputtoken{schemeinput}

\defschemetoken{code}
\defschemeboxtoken{scmbox}
\defschemedisplaytoken{schemefrag}
\defschemeinputtoken{sinput}

\schemecasesensitive{false}

\def\keywordfont#1{{\tt#1}}
\def\constantfont#1{{\rm#1}}
\def\variablefont#1{{\bf#1\/}}

\setkeyword{und oder}
\setconstant{true false}
\setvariable{define}
\setconstant{F}

\setspecialsymbol{top}{$\top$}
\setspecialsymbol{bottom}{$\bot$}


This file can then be \input in the preamble of your (La)TeX document.