File: 11-6-3.ltx

package info (click to toggle)
texlive-lang 2022.20230122-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,447,264 kB
  • sloc: perl: 61,377; xml: 53,781; makefile: 4,525; sh: 4,338; ansic: 2,892; python: 2,861; ruby: 1,031; lisp: 750; awk: 649; java: 159; sed: 142; csh: 25
file content (37 lines) | stat: -rw-r--r-- 1,068 bytes parent folder | download | duplicates (3)
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, 3ed
%%
%% Example 11-6-3 on page II-194 in "Operator and function names".
%%
%% Copyright (C) 2022 Frank Mittelbach
%%
%% It may be distributed and/or modified under the conditions
%% of the LaTeX Project Public License, either version 1.3c
%% of this license or (at your option) any later version.
%%
%% See https://www.latex-project.org/lppl.txt for details.
%%

\documentclass{tlc3examargin}
\pagestyle{empty}
\setcounter{page}{6}
\setlength\textwidth{171.0pt}

%StartShownPreambleCommands
\usepackage{amsmath}
\DeclareMathOperator \meas    {meas}
\DeclareMathOperator*\esssup  {ess \, sup}
\DeclareMathOperator*\supminus{sup - minus*}
\newcommand\abs [1]{\lvert#1\rvert}
\newcommand\norm[1]{\lVert#1\rVert}
%StopShownPreambleCommands

\begin{document}
\begin{multline*}
 \norm{f}_\infty = \esssup_{x \in R^n} \abs{f(x)} \\
 \meas_1 \{ u \in R_+^1 \colon f^*(u)>\alpha \} = \\
 \esssup_{x \in R^i} \; \meas_i
   \{ u \in R^n \colon \abs{f(u)} \geq \alpha \}  \\
 (\forall \alpha \in \supminus_{f^*} R_{*+})
\end{multline*}
\end{document}