%%
%% Der LaTeX-Begleiter, zweite Auflage (September 2005)
%%
%% Beispiel 8-8-4 von Seite 525.
%%
%% Copyright (C) 2005 Frank Mittelbach, Michel Goossens,
%%    Johannes Braams, David Carlisle, and Chris Rowley
%%
%% Uebersetzung: Copyright (C) 2005 Claudia Krysztofiak,
%%    Rebecca Stiels und Frank Mittelbach
%%
%% 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{lb2exa}
\pagestyle{empty}
\setcounter{page}{6}
\setlength\textwidth{318.67087pt}
%%
%% Die Beispiele verwenden normalerweise Times, aber hier
%% möchten wir explizit Computer Modern einsetzen:
\renewcommand\rmdefault{cmr}
%%
%% Außerdem ist die Formelachse in den Überschriften etwas zu niedrig,
%% daher folgt hier ein kleiner Befehl, mit dem man Fontmaße
%% entsprechend der NFSS-Konventionen ändern kann. Er steht zur freien Verfügung,
%% aber man sollte sich der Auswirkungen bewusst sein, wenn man
%% mit solchen Dingen herumspielt. :-)
%% Kein Support!
%%
\makeatletter
\def\setfontdimen#1#2#3#4#5#6#7{\begingroup
   \edef\font@name{\csname #2/#3/#4/#5/#6\endcsname}%
   \pickup@font
   \fontdimen#1\font@name=#7\relax
   \endgroup}
\makeatother

\setfontdimen{22}{OMS}{cmsy}{m}{n}{14.4}{4.3pt}

\StartShownPreambleCommands
\usepackage{amsmath,amssymb,bm}
\newcommand\bfB{\mathbf{B}}   \newcommand\bfx{\mathbf{x}}
\bmdefine\bpi{\pi}            \bmdefine\binfty{\infty}
\StopShownPreambleCommands
\begin{document}
\section{Die fette Entsprechung
  $\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}