% (setq tex-open-quote "\"" tex-close-quote "\"")
% (find-es "tex")
% This is an experimental mathlatinized version of tese2.sty.
% Edrx, 2003apr26.
%
% «.diagxy»		(to "diagxy")
% «.bbold»		(to "bbold")
% «.ded»		(to "ded")
% «.diag»		(to "diag")
% «.arrows»		(to "arrows")
% «.activechars»	(to "activechars")
% «.showboxdims»        (to "showboxdims")
% «.limp»               (to "limp")
% «.twocol»             (to "twocol")

% «.greek.letters»	(to "greek.letters")
% «.glyphs»		(to "glyphs")

%\documentclass{book}
\documentclass[oneside]{book}
\usepackage[latin1]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{mathrsfs}
\usepackage{stmaryrd}
\usepackage{array}
% (find-dvipage "/usr/share/texmf/doc/latex/tools/array.dvi")

\let\sweddot\r

% (find-es "tex" "bussproofs")
\usepackage{bussproofs}
\def\ScoreOverhang{0pt}

% «diagxy»  (to ".diagxy")
% (find-es "xypic" "diagxydemo0")
%
\input diagxy
\xyoption{curve}
% \xyoption{tips}
\def\diagxyto{\ifnextchar/{\toop}{\toop/>/}}
\def\mon{\diagxyto/ >->/}
\def\epi{\diagxyto/->>/}
\def\toleft{\diagxyto/<-/}
\def\monleft{\diagxyto/<-< /}
\def\epileft{\diagxyto/<<-/}
\def\to{\rightarrow}

% Old way:
% Tive que hardcodear esse valor, não sei qual o jeito standard de
% encontrá-lo...
% (find-fline "/etc/texmf/language.dat" "portu")
%
%\language3
%\usepackage{portuges}
%
% New way (from babel's user.dvi):
%\usepackage[portuges,english]{babel}
\usepackage[brazilian,english]{babel}

% «bbold»  (to ".bbold")
%\usepackage{bbold}
% (find-fline "/usr/lib/texmf/tex/latex/misc/bbold.sty")
% (find-fline "/usr/lib/texmf/source/latex/amsfonts/amsfonts.dtx" "mathbb")
% (find-fline "/usr/lib/texmf/source/latex/psnfss/mathtime.dtx" "Bbb")
%\newcommand{\bblowfamily}{\fontencoding{U}\fontfamily{bbold}\selectfont}
%\newcommand{\textbblow}[1]{{\bbfamily#1}}
%\DeclareMathAlphabet{\mathbblow}{U}{bbold}{m}{n}
%
% (find-fline "/usr/lib/texmf/tex/latex/bbm/bbm.sty")
\DeclareMathAlphabet{\mathbblow}{U}{bbm}{m}{n}
\SetMathAlphabet\mathbblow{bold}{U}{bbm}{bx}{n}

% (find-es "tex" "rsfs")
\usepackage{mathrsfs}

\usepackage{graphicx}
\def\epsscale{0.8}
%\def\eps#1{\includegraphics[scale=0.8]{#1.eps}}
\def\eps#1{\includegraphics[scale=\epsscale]{eps/#1.eps}}
\def\epsn#1{
  \begin{array}[b]{c}
    \eps{#1} \\
    \text{#1} \\
  \end{array}
}
%\usepackage[arrow,curve]{xy}
%\usepackage[ps,xdvi,arrow,matrix,curve]{xy}
%\usepackage{vgatim}
\usepackage{proof.edrx}
%
% (find-ptfile "proofs/boxproof.tex")
% (find-fline "/usr/lib/texmf/source/amstex/doc/amsguide.tex" "loadeurm")
%
% A quick hack to write the filename, date and time at the footer.
%
% p.11=22 (find-lsrcfile "lshort/src/things.tex" "pagestyle")
% source2e p.328=337 (find-lsrcfile "base/ltpage.dtx" "pagestyle")
% classes p.19=19 (find-lsrcfile "base/classes.dtx" "The page style")
% (find-lsrcfile "base/classes.dtx" "<!book>\\pagestyle{plain}")
% (find-lsrcfile "base/classes.dtx" "\\def\\ps@headings")
% (find-lsrcfile "base/book.cls" "if@twoside")
% (find-lsrcfile "base/nfssfont.tex" "time")
%
\makeatletter
\newcount\m \newcount\n
\def\twodigits#1{\ifnum #1<10 0\fi \number#1}
\def\hours{\n=\time \divide\n 60
  \m=-\n \multiply\m 60 \advance\m \time
  \twodigits\n:\twodigits\m}
%
\def\draftfooter{\jobname{} \today{} \hours}
\def\footertext{\draftfooter}
\def\ps@headings{%
  \def\@oddfoot{\hfil \footertext \hfil}
  \let\@evenfoot\@oddfoot
  \def\@oddhead{{\slshape\rightmark}\hfil\thepage}%
  \let\@mkboth\markboth
  \def\chaptermark##1{%
    \markright {\MakeUppercase{%
      \ifnum \c@secnumdepth >\m@ne
        \if@mainmatter
          \@chapapp\ \thechapter. \ %
        \fi
      \fi
      ##1}}}}
\ps@headings
\makeatother
%
\def\shorttoday{%
  \number\year%
  \ifcase\month\or jan\or feb\or mar\or apr\or may\or
     jun\or jul\or aug\or sep\or oct\or nov\or dec\fi
  \twodigits\day}
\def\edrxnotesfooter#1{{\tiny #1 (typeset \shorttoday{} \hours)
  {\tt Edrx http://angg.twu.net/}}}
\def\edrxnotes#1{\gdef\footertext{\edrxnotesfooter{#1}}}
\def\noedrxfooter{\gdef\footertext{}}
%
% (find-es "tex" "edrxnotes")
% (find-lsrcfile "../generic/babel/portuges.dtx" "dateportuges")




% «arrows»  (to ".arrows")
%
\newcommand\ito{\hookrightarrow}
\newcommand\isoto{\underset{iso}{\to}}
\newcommand\epito{{\twoheadrightarrow}}
\newcommand\bij{\leftrightarrow}
\newcommand\toto{\rightrightarrows}
\newcommand\functo{\Rightarrow}
\newcommand\ton[1]{\overset{#1}{\to}}
\newcommand\xton[1]{\xrightarrow{#1}}
\newcommand\iton[1]{\overset{#1}{\ito}}
\newcommand\otn[1]{\overset{#1}{\ot}}
\newcommand\TNto{\overset{.}{\to}}
\newcommand\idto{\overset{id}{\to}}
\newcommand\vaipra{\quad\Longrightarrow\quad}
\newcommand\funto{\Rightarrow}
\newcommand\funton[1]{\overset{#1}\Rightarrow}
\newcommand\tnto{\ton{\bullet}}
%\newcommand\iff{\Leftrightarrow}
\newcommand\Bij{\Leftrightarrow}
\newcommand\funot{\Leftarrow}
\newcommand\dnto{\downarrow}
\newcommand\upto{\uparrow}
\newcommand\dnfunto{\Downarrow}
\newcommand\upfunto{\Uparrow}
\newcommand\monicto{\rightarrowtail}
\newcommand\ot{\leftarrow}
\newcommand\squigto{\rightsquigarrow}
\newcommand\squigbij{\leftrightsquigarrow}
\newcommand\sqto{\rightsquigarrow}
\newcommand\sqbij{\leftrightsquigarrow}

\def\mto{{\mapsto}}
\def\mton#1{\overset{#1}{\mto}}
\def\widemtos{\def\mto{\mapsto}}
\def\thinmtos{\def\mto{{\mapsto}}}


%
% (find-lsrcfile "base/fontdef.dtx" "rightarrow")

\newcommand\Set{\mathbf{Set}}
\newcommand\Sets{\mathbf{Sets}}
\newcommand\E{\mathbf{E}}
\newcommand\T{\mathbf{T}}
\newcommand\N{\mathbb{N}}
\newcommand\R{\mathbb{R}}
\newcommand\Z{\mathbb{Z}}

\renewcommand\O{\mathbf{O}}
\renewcommand\o{\mathbf{o}}
\renewcommand\t{\tau}
\newcommand\typ{\mathbf{t}}
%

% Quantificadores,
%
\newcommand\Exob[1]{\mathop{\exists\;{#1}}}
\newcommand\Exbangob[1]{\mathop{\exists!\;{#1}}}
\newcommand\Faob[1]{\mathop{\forall\;{#1}}}
\newcommand\Ex{\exists}
\newcommand\Exbang{\exists!}
\newcommand\Fa{\forall}

\newcommand\virg{{,\,\,}}
%

% NSA e SSA,
%
%\newcommand{\ii}{\iota}
\newcommand{\ii}{\mathbblow{i}}
\newcommand{\I}{\mathbb{I}}
\newcommand{\F}{\mathcal{F}}
\newcommand{\cofiN}{\mathcal{N}}
\newcommand{\U}{\mathcal{U}}
\newcommand{\OO}{\mathcal{O}}
\newcommand{\jj}{\mathbblow{j}}

\def\littlo{o}
\def\bigO{O}


\newcommand{\void}{\varnothing}
\newcommand\id{\mathrm{id}}
\newcommand\ev{\mathrm{ev}}
\newcommand\cur{\mathrm{cur}}
\newcommand\dom{\mathrm{dom}}
\newcommand\cod{\mathrm{cod}}
%
\newcommand\bsl{\backslash}
\def\False{\Finv}

\let\origphi=\phi
\def\phi{\varphi}



%%%%
%
% «greek.letters»  (to ".greek.letters")
%
%%%%

\def\aa{\alpha}
\def\bb{\beta}
\def\cc{\gamma}
\def\dd{\delta}
\def\ee{\epsilon}
\def\gg{\gamma}
\def\kk{\kappa}
\def\ww{\omega}
\def\Om{\Omega}
\def\Th{\Theta}
\def\GG{\Gamma}
\def\DD{\Delta}

%%%%
%
% «glyphs»  (to ".glyphs")
%
%%%%

% «activechars»  (to ".activechars")
% (find-knuthfile "tex/texbook.tex" "Active")
\catcode`=13 \def{\mathstrut}
\catcode`¬=13 \def¬{\neg}
\catcode`×=13 \def×{\times}
% \catcode`º=13 \defº{${}^\underline{\mathrm{o}}$}
% \defñ{\square}
\defñ{\Box}
\defÞ{\lozenge}
\defý{\Fa}
\defÝ{\Ex}
\def§{\top}
\def®{\bot}
\def·{\cdot}
\defÎ{\in}
\defð{\lambda}
\def¢{\circ}
\def¤{\otimes}
\def¥{\oplus}
%\catcode`¸=13
\def¸{\multimap}
\def{\bullet}

% (find-fline "~/MTA/vtutil" "setglyphs")
% (setglyphs ?\^R nil 18 ?\^E nil 5 ?\^T nil 20 ?\^D nil 4)
\catcode`=13 \def{\delta}
\catcode`=13 \def{\epsilon}
\catcode`=13 \def{\rho}
\catcode`=13 \def{\theta}
\catcode`=13 \def{\to}
\catcode`=13 \def{\ot}
\catcode`=13 \def{\land}
\catcode`=13 \def{\lor}
\catcode`=13 \def{\amalg}
%
\catcode`Ï=13 \defÏ{\partial}
\catcode`¿=13 \def¿{\nabla}
\catcode`­=13 \def­{\underline}
\catcode`Û=13 \defÛ{\nu}
\catcode`å=13 \defå{\sqcap}
\catcode`Ë=13 \defË{\sqcup}

\catcode`Å=13 \defÅ{\int}
\catcode`³=13 \def³{^{-1}}
\catcode`Ì=13 \defÌ{\cap}
\catcode`þ=13 \defþ{\cup}

\catcode`=13 \def{\mathbf}
\catcode`=13 \def{\infty}
\catcode`=13\def{\ulcorner}
\catcode`£=13\def£{\urcorner}
\catcode`¦=13 \def¦{\mathrm}
\def\sto{\Rrightarrow}          % syntactic "to"

\catcode`Ø=13 \defØ{\Omega}
\catcode`=13 \def{\sigma}
\catcode`=13 \def{\tau}
\catcode`=13 \def{\omega}

% «ded»  (to ".ded")
% Árvores,
%
% (find-knuthfile "tex/texbook.tex" "csname")
% (find-knuthfile "tex/texbook.tex" "*|\\csname|")
\def\ded#1{\csname ded-#1\endcsname}
\def\defded#1#2{\expandafter\def\csname ded-#1\endcsname{#2}}

% Note for a future \showded:
%? i\showthe\csname ded-plc114-j.\endcsname
% this works, or almost.

% (find-knuthfile "tex/texbook.tex" "|\\ifundefined#1|")
% (find-knuthfile "tex/texbook.tex" "test if tokens agree")
%
\def\ifdedundefined#1{\expandafter\ifx\csname ded-#1\endcsname\relax}
\def\ded#1{\ifdedundefined{#1}
    \errmessage{UNDEFINED DEDUCTION: #1}
  \else
    \csname ded-#1\endcsname
  \fi
}

% «diag»  (to ".diag")
%
\def\defdiag#1#2{\expandafter\def\csname diag-#1\endcsname{#2}}
\def\ifdiagundefined#1{\expandafter\ifx\csname diag-#1\endcsname\relax}
\def\diag#1{\ifdiagundefined{#1}
    \errmessage{UNDEFINED DIAGRAM: #1}
  \else
    \bfig\csname diag-#1\endcsname\efig
  \fi
}

% Set_A,
%
\newcommand\A{\mathcal{A}}
\def\Aregras{\A^{\to,\land,\lor,®}}
\newcommand\SetA{{\bf Set_{\mathcal A}}}

\def\Aplus{{\A^\ast}}
\def\LA{\Lambda_\A}



\def\lbe{{\lambda\beta\eta}}
%\def\lbeto{\underset{\lbe}{\epito}}
\def\lbeto{\epito}
\def\lbeot{{\twoheadleftarrow}}


\def\lbes{{\lambda\beta\eta^\ast}}
%\def\lbeto{{\epito^\ast}}



%\newcommand\n{\mathcal{n}}
%\newcommand\r{\mathcal{r}}
%\newcommand\Set{{\bf Set}}
%\newcommand\SetU{{\bf Set^{\mathcal U}}}
%\newcommand\SetF{{\bf Set^{\mathcal F}}}
\newcommand\SetI{{\Set^{\mathbb{I}}}}
\newcommand\SetF{{\Set^{\mathcal{F}}}}
\newcommand\SetU{{\Set^{\mathcal{U}}}}
\newcommand\SetP{{\Set^{\mathbf{P}}}}
\newcommand\SetM{{\Set^{\mathbf{M}}}}
\newcommand\SetC{{\Set^{\bf C}}}
\newcommand\Top{{\bf Top}}
\newcommand\PTop{{\bf PTop}}
\newcommand\Vect{{\bf Vect}}
\newcommand\Grp{{\bf Grp}}
\newcommand\Mon{{\bf Mon}}
%\newcommand\catC{\mathcal{C}}
%\newcommand\catD{\mathcal{D}}
%\newcommand\catE{\mathcal{E}}
\newcommand\catA{\mathbf{A}}
\newcommand\catB{\mathbf{B}}
\newcommand\catC{\mathbf{C}}
\newcommand\catD{\mathbf{D}}
\newcommand\catE{\mathbf{E}}
\newcommand\catI{\mathbf{I}}
\newcommand\catJ{\mathbf{J}}
\newcommand\catP{\mathbf{P}}
\newcommand\OX{{\mathcal{O}_X}}

\newcommand\calC{\mathcal{C}}
\newcommand\calD{\mathcal{D}}
\newcommand\calE{\mathcal{E}}
\newcommand\calA{\mathcal{A}}
\newcommand\calB{\mathcal{B}}

% Coisas para o capítulo sobre análise não-standard
%
% (find-lsrcfile "amslatex/math/amsmath.dtx" "sideset#1")
\makeatletter
\def\sidesetscript#1#2#3{%
  \@mathmeasure\z@\scriptstyle{#3}%
  \global\setbox\@ne\vbox to\ht\z@{}\dp\@ne\dp\z@
  \setbox\tw@\box\@ne
  \@mathmeasure4\scriptstyle{\copy\tw@#1}%
  \@mathmeasure6\scriptstyle{#3\nolimits#2}%
  \dimen@-\wd6 \advance\dimen@\wd4 \advance\dimen@\wd\z@
  \hbox to\dimen@{}\mathop{\kern-\dimen@\box4\box6}%
}
\makeatother
%
\newcommand\B{\mathcal{B}}
\newcommand\interfin{\bigcap_{\rm fin}}
\newcommand\ns[1]{\sideset{^*}{}{\mathop{#1}}}
\newcommand\nss[1]{\sidesetscript{^*}{}{\mathop{#1}}}
\newcommand\raiseset{\mathord{\uparrow}}
\newcommand\Pts{\mathcal{P}}


% Combinadores,
%
\def\cbS{\mathbf{S}}
\def\cbK{\mathbf{K}}
\def\cbI{\mathbf{I}}
\def\cbP{\mathbf{P}}
\def\cbD{\mathbf{D}}
\def\cbV{\mathbf{V}}
\def\cbT{\mathbf{T}}
\def\cbF{\mathbf{F}}
\def\SKI{\mathbf{SKI}}
\def\app{\operatorname{app}}


% Conectivos,
%
% (find-fline "/usr/lib/texmf/tex/latex/misc/program.sty" "poor man's bold")
% (find-fline "/usr/lib/texmf/tex/latex/amslatex/amsbsy.sty" "pmb")
% (find-fline "/usr/lib/texmf/tex/latex/amslatex/amstex.sty" "pmb")
% (find-fline "/usr/lib/texmf/tex/latex/tools/bm.sty" "pmb")
%\def\pmb{\protect\ppmb}
%\def\ppmb#1{\setbox0=\hbox{\bf #1}
%            \kern-.025em\copy0\kern-\wd0
%           \kern.05em\copy0\kern-\wd0
%           \kern-.025em\raise.0433em\box0 }}
\def\LAND{\pmb{\land}}
\def\LOR{\pmb{\lor}}
\def\TO{\pmb{\to}}
\def\TO{\funto}



% Regras de dedução,
%
\def\dedrulename#1#2{#1{\rm #2}}
\def\andI{{\dedrulename\land{I}}}
\def\andE#1{{\dedrulename\land{E_#1}}}
\def\orI#1{{\dedrulename\lor{I_#1}}}
\def\orE{{\dedrulename\lor{E}}}
\def\toI{{\dedrulename{\to\!\!}{I}}}
\def\toE{{\dedrulename{\to\!\!}{E}}}
\def\topI{{\dedrulename\top{I}}}
\def\botE{{\dedrulename\bot{E}}}
\def\FaI{{\dedrulename\Fa{I}}}
\def\FaE{{\dedrulename\Fa{E}}}
\def\ExI{{\dedrulename\Ex{I}}}
\def\ExE{{\dedrulename\Ex{E}}}

\def\ruleF#1{{\mathrm{F}_{#1}}}

\def\ruleT#1#2{{\mathrm{T}_{#1}^{#2}}}          % \ruleT\DN\treeA
\def\ruleTe#1{{\mathrm{T\!e}_{#1}}}             % \ruleTe\DN
\def\ruleTDN{{\ruleT\DN{}}}
\def\ruleTCCC{{\ruleT\CCC{}}}

\def\DNT{{\DN\mathord+\ruleTDN}}
\def\CCCT{{\DN\mathord+\ruleTCCC}}
\def\DNminustoI{{\DN'\mathord-\setof{\toI}}}

\def\DN{{\rm DN}}
\def\SD{{\rm SD}}
\def\CCC{{\rm CCC}}
\def\treeA{{\mathsf{A}}}
\def\treeB{{\mathsf{B}}}
\def\diagD{{\mathsf{D}}}
\def\diagE{{\mathsf{E}}}

\def\TFI{{\rm TFI}}
\def\TFImp{{\rm TFImp}}

%\def\smallded#1#2{{{#1} \above 1.5pt {#2}}}
\def\smallded#1#2{\genfrac{}{}{1.5pt}{}{#1}{#2}}



% {array}s,
%
\def\hli{\mathstrut \\ \hline \mathstrut \\}
%
% (find-fline "/usr/lib/texmf/source/latex/base/lttab.dtx" "l,r,c")
% (find-fline "/usr/lib/texmf/source/latex/tools/array.dtx")

\def\alob{\allowbreak}


% Tipos,
%
\def\nn{\mathbblow{n}}
\def\r{\mathbblow{r}}
\def\z{\mathbblow{z}}
\def\lefto{\mathcal{L}}
\def\righto{\mathcal{R}}

\def\compr{\operatorname{compr}}
\def\Int{\operatorname{Int}}

\def\mon{{\mathop{[\;]}}}

\newcommand\setof[1]{\{\,#1\,\}}
%\newcommand\setofst[2]{\,\setof{{#1}\;|\;{#2}}\,}
\newcommand\setofst[2]{\{\,#1\;|\;#2\,\}}

\def\adj{\operatorname{adj}}

\def\conetr#1#2#3{(\O_{#3},\, #3 \to #1,\, #3 \to #2)}
\def\coneab#1{\conetr{a}{b}{#1}}


%%%
%
% 6: A álgebra dos valores de verdade
%
%%%

\def\Props{\mathbb{P}}
\def\Patom{\Props_{\rm atom}}
\def\brkt{{[·]}}
\def\Pbrkt{\Props_{\!/ \brkt}}
\def\Pbrktplic{\Props_{\!/ \brkt'}}
\def\Pbij{\Props_{\!/ \bij}}
\def\conseq{\operatorname{conseq}}
\def\Omantes#1{\Om_{\to #1}}
\def\Omdepois#1{\Om_{#1 \to}}

% Conjuntos parcialmente ordenados
%
% (find-fline "kripkealg.tex")
\def\cpoQuatro#1#2#3#4{{\unitlength=.1ex
\begin{picture}(15,34)
\put(0,0){\scriptsize #1}
\put(0,12){\scriptsize #2}
\put(6,24){\scriptsize #3}
\put(12,12){\scriptsize #4}
\end{picture}
}}
\def\cpoV#1#2#3{{\unitlength=.1ex
\begin{picture}(15,22)
\put(0,0){\scriptsize #1}
\put(6,12){\scriptsize #2}
\put(12,0){\scriptsize #3}
\end{picture}
}}
\def\cpoDois#1#2{{\genfrac{}{}{0pt}{}{#1}{#2}}}


%%%
%
% 7: Análise não-standard
%
%%%

\def\Eiplic{\E_{\ii'}}
\def\Explic{\E_{x'}}
\def\Eyplic{\E_{y'}}

\def\ddx{\frac{d}{dx}}


%%%
%
% 9: Onde gostaríamos de chegar
%
%%%

\def\dim{\operatorname{dim}}
\def\dimE#1{\dim \E_{#1}}




% Extras:

%\input oldgerm
\usepackage{oldgerm}

%\newcommand\gothfamily{\usefont{U}{ygoth}{m}{n}}
%\DeclareTextFontCommand{\textgoth}{\gothfamily}
%\newcommand\swabfamily{\usefont{U}{yswab}{m}{n}}
%\DeclareTextFontCommand{\textswab}{\swabfamily}
%\newcommand\frakfamily{\usefont{U}{yfrak}{m}{n}}
%\DeclareTextFontCommand{\textfrak}{\frakfamily}

\def\newpage{\vfill\break}

\newcommand\tnton[1]{\underset{#1}{\overset{\bullet}{\to}}}
%\newcommand\tnton[1]{\underset{#1}{\to}}



%%%%%
%
% 2001
%
%%%%%

\def\hom{\operatorname{hom}}
\def\Hom{\operatorname{Hom}}
\def\op{{\operatorname{op}}}
\def\und#1{{\underline{#1}}}
\def\Cat{\mathbf{Cat}}
\def\colim{{\operatorname{colim}}}
\def\Colim{{\operatorname{Colim}}}
\def\Lim{{\operatorname{Lim}}}

\def\morf{{m}}
\def\welldef{{\operatorname{wd}}}
\def\welld{{\operatorname{wd}}}

\def\adjsq#1#2#3#4{
  \begin{matrix}
  #1    & \funot & #2    \\
  \dnto & \bij   & \dnto \\
  #3    & \funto & #4    \\
  \end{matrix}
}

\def\ssapp#1#2{(#1,#2)\text{-app}}
\def\ssabs#1#2{(#1,#2)\text{-abs}}
\def\prf{{¦{prf}}}

\def\Props{\operatorname{Props}}
\def\Prfs{\operatorname{Prfs}}
\def\prf{\operatorname{prf}}
\def\Objs{\operatorname{Objs}}


\def\ang#1{\langle #1 \rangle}

% «showboxdims»  (to ".showboxdims")
% (find-es "tex" "show_box_dims")
\catcode` =12\gdef\spac{ }\catcode` =10
\gdef\showboxdims#1{\immediate\write16{
  wd=\the\wd#1\spac ht=\the\ht#1\spac dp=\the\dp#1
}}
% Example:
% \setbox1\hbox{bp}
% \showboxdims{1}


% «limp»  (to ".limp")
% (find-es "tex" "thin_supset")
% (find-lsrcfile "amslatex/math/amsopn.dtx" "DeclareMathOperator")
% (find-lsrcfile "amslatex/math/amsopn.dtx" "DeclareRobustCommand{\\qopname}")
\def\limpchar{{%
  \setlength{\unitlength}{1pt}%
  \begin{picture}(6,4)
    \put(0,2){\oval(12,4)[r]}
  \end{picture}%
}}
% \def\limp{\qopname\relax o{\limpchar}}
\def\limp{\mathrel{\limpchar}}
\catcode`¶=13 \def¶{\limp}

\def\pbangle{\lrcorner}   % too small; need to change to a picture mode thing



%%%%%
%
% two-column modes, for personal math notes
% 2000oct31
%
%%%%%

% «twocol»  (to ".twocol")
% (find-es "tex" "twocolumn")
% See also Kopka/Daly pp.196-- for info on defining environments.

\newenvironment{twocol}{}{}
\def\edrxtwocol{
  \renewenvironment{twocol}{
    \begin{multicols}{2}
    \setlength\columnseprule{.2pt}
  }{\end{multicols}
  }
}
\def\edrxscriptsize{\edrxtwocol \def\epsscale{0.6} \scriptsize}
\def\edrxtiny{\edrxtwocol \def\epsscale{0.4} \tiny}

% Now the commands "\edrxtiny" and "\edrxscriptsize" will set two very
% condensed two-column modes; you may need to add a "\usepackage{multicol}"
% command just after the "\begin{document}", though.

\endinput








% (find-lsrcfile "base/ltmiscen.dtx" "\\def\\begin")
% (find-lsrcfile "base/ltdefns.dtx" 509)
% (find-elnode "Narrowing" "(save-restriction")


% Local Variables:
% coding:               no-conversion
% ee-delimiter-percent: "\n%\n"
% ee-anchor-format:     "«%s»"
% ee-charset-indicator: "Ñ"
% End:
