Directions for the Translator to Braille 
Guided Tour: Sets
The following rules must be obeyed when entering sets
- braces must be preceded by \
- when representing sets intentionally do not use
":" nor "|" meaning such that, use instead
\talque - the set of natural numbers |N is written (even
in non-mathematical text) as
\nat{}, and that of the natural numbers including 0, |N0, as\natz{}. Similarly,\nint for the set of integers,\nintp for the set of positive integers,\nintpz for the set of positive integers and zero,\nrac for the set of rational numbers, and\nrea for the set of reals.
Try the following example:
Let A be a subset of \nat{} defined extensionally
as $A=\{2,3,4,5\}$. As an
alternative, an intensional definition is
$A=\{x
\talque 1<x<6\}$.
Other denotations for sets, to be used in expressions:
| final form | input | |
|---|---|---|
| in | \(x\in\{1,2,3\}\) | $x\in\{1,2,3\}$ |
| empty set | \(\emptyset\) | $\emptyset$ |
| union | \(A = B \cup C\) | $A=B\cup C$ |
| intersection | \(A = B \cap C\) | $A=B\cap C$ |
| subtraction | \(A = B \setminus C\) | $A=B\setminus C$ |
| subset of | \(A \subset B\) | $A\subset B$ |
| subset or equal | \(A \subseteq B\) | $A\subseteq B$ |
| superset of | \(A \supset B\) | $A\supset B$ |
| superset or equal | \(A \supseteq B\) | $A\supseteq B$ |
| iterated union | \(A = \bigcup_i B_i\) | $A=\bigcup_i B_i$ |
| iterated intersection | \(A = \bigcap_i B_i\) | $A=\bigcap_i B_i$ |
