summaryrefslogtreecommitdiff
path: root/info/examples/tlc2/8-8-5.ltx
blob: a1509ab25190ee9f1b5819d6949475765a5e4359 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
%%
%% The LaTeX Companion, 2ed (second printing August 2004)
%%
%% Example 8-8-5 on page 511.
%%
%% Copyright (C) 2004 Frank Mittelbach, Michel Goossens,
%%    Johannes Braams, David Carlisle, and Chris Rowley
%%
%% It may be distributed and/or modified under the conditions
%% of the LaTeX Project Public License, either version 1.3
%% of this license or (at your option) any later version.
%%
%% See http://www.latex-project.org/lppl.txt for details.
%%

\documentclass{ttctexa}
\pagestyle{empty}
\setcounter{page}{6}
\setlength\textwidth{348.0pt}

\StartShownPreambleCommands
\usepackage{amsmath,amssymb,txfonts,bm}
\newcommand\bfB{\mathbf{B}}
\newcommand\bfx{\mathbf{x}}
\bmdefine\bpi{\pi}  \bmdefine\binfty{\infty}
\StopShownPreambleCommands
\begin{document}
\section{The bold equivalence
  $\sum_{j < B} \prod_\lambda : \bm{\sum_{x_j} \prod_\lambda}$}
\begin{gather}
  B_\infty + \pi B_1 \sim  \bfB_{\binfty} \bm{+}\bpi \bfB_{\bm{1}}
    \bm {\sim B_\infty + \pi B_1}                               \\
  B_\binfty + \bpi B_{\bm{1}} \bm{\in} \bm{\biggl\lbrace}
    (\bfB, \bfx) : \frac {\partial \bfB}{\partial \bfx}
    \bm{\lnapprox} \bm{1} \bm{\biggr\rbrace}
\end{gather}
\end{document}