Chapter 2 Basic layout

We first test the basic layout of various environments. This here is a simple text paragraph. We try out emphasis and boldface as well as forall $\mathcal{x}$ ’s define command.

This is the following paragraph. Now we check the itemize environment:

‣

This is the first item.
‣

This is the second item.

Here’s the enumerate environment:

1.

This is the first item. It has a LaTeX label which we’ll refer to below.
2.

This is the second item.

We refer by number 1 to the first item in the preceding list. While we’re checking references: we are now in chapter 2.

2.1 Section heading

Sometimes we have sections within chapters but these don’t produce separate files.

Note

Sometimes we have paragraph headings even.

Simple tables are generated using the LATEX tabular environment:

$\mathcal{A}$	$\mathcal{B}$	$\mathcal{A}\wedge\mathcal{B}$
T	T	T
T	F	F
F	T	F
F	F	F

This table has a header separated by a horizontal bar from the 4 rows and a vertical bar separating columns 1 and 2 from 3. This table should correctly identify the header row in HTML.

2.2 Customized lists

forall $\mathcal{x}$ uses some customized list environments which may not quite properly by converted to HTML using LATExml:

The earg environment is used to set arguments like

It is raining outside.
If it is raining outside, then Jenny is miserable.
∴

Jenny is miserable.

In cases like this where a line is labelled with $\therefore$ the spacing is off in the HTML.

The ekey environment is used to typeset symbolization keys. The labels should be in math mode (i.e., formulas):

$A$ :: It is raining outside
$C$ :: Jenny is miserable

(ChromeVox doesn’t read math symbols in lists: the $\triangleright$ of the plain enumerate lists isn’t voiced although the • of ebullet lists is. In ekey lists, the sentence letters aren’t read, only the following colon.)

2.3 Factoid boxes

Text that is highlighted is included in a \factoidbox like so:

\factoidbox{A \define{term} is any name or any variable.}

A term is any name or any variable.

These are produced for HTML as a shaded box produced with the framed package.

  \colorlet{shadecolor}{lyallpink!5}
  \begin{shaded*}...\end{shaded*}

Since the color is fixed to a light pink, in night mode this results in unacceptable contrast.

2.4 Other macros

The \define macro typesets words or phrases in a highlighted text, e.g., defined. This should also invert in color for night mode.

There are also \blank and \gap command which produces a long underline as follows: blank without subscript and blank ${}_{x}$ with subscript. In order to make screen readers pronounce it, they actually have the text ”blank” embedded, but visually hidden (by setting the height to 0).

The word ‘iff’ abbreviates ‘if and only if’. It is usually pronounced ‘if-ff’ or ‘if-eff’, but screen readers will read ‘iff’ the same as ‘if’. This might be confusing to non-sighted readers. forall $\mathcal{x}$ now provides a command \ifeff that typesets ‘if⁠f’ and should be read out as “if-eff”. (But see this blog post on overriding SR pronounciation, which recommends to instead provide instructions to SR users on how to update their own dictionaries if they want to adjust pronounciation.)