% Miscellaneous defs, mostly symbols.
% Edrx, 2005jun25
% Last update: 2010apr20

% (find-doutfile "")
% (find-doutfile "defs-dnt.tex")
% (find-doutfile "defs-headfoot.tex")
% (find-doutfile "defs-sect.tex")
% (find-doutfile "defs-symbols.tex")
% (find-doutfile "defs.tex")


% «.hyp-rules»	(to "hyp-rules")


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

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

\def\bbA{\mathbb{A}}
\def\bbB{\mathbb{B}}
\def\bbC{\mathbb{C}}
\def\bbD{\mathbb{D}}
\def\bbE{\mathbb{E}}
\def\bbH{\mathbb{H}}
\def\bbV{\mathbb{V}}


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

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

\def\virg{{,\,\,}}
%

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

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


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

%%%%
%
% «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}
\def\LL{\Lambda}



% Set_A,
%
\def\A{\mathcal{A}}
\def\Aregras{\A^{\to,\land,\lor,®}}
\def\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}}



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

\def\calA{\mathcal{A}}
\def\calB{\mathcal{B}}
\def\calC{\mathcal{C}}
\def\calD{\mathcal{D}}
\def\calE{\mathcal{E}}
\def\calN{\mathcal{N}}
\def\calR{\mathcal{R}}
\def\calV{\mathcal{V}}

% Coisas para o capítulo sobre análise não-standard
%
% (find-lsrcfile "amsmath/amsmath.dtx" "\\newcommand{\\sideset}[3]")

\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
%
\def\B{\mathcal{B}}
\def\interfin{\bigcap_{\rm fin}}
\def\ns#1{\sideset{^*}{}{\mathop{#1}}}
\def\nss#1{\sidesetscript{^*}{}{\mathop{#1}}}
\def\raiseset{\mathord{\uparrow}}
\def\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}



\let\sweddot\r

% 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{[\;]}}}

\def\setof#1{\{\,#1\,\}}
%\def\setofst#1#2{\,\setof{{#1}\;|\;{#2}}\,}
\def\setofst#1#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}}

\def\ang#1{\langle #1 \rangle}
\def\angc{\ang{\,,}}
\def\llangle{\langle\!\langle}
\def\rrangle{\rangle\!\rangle}
\def\angg#1{\llangle#1\rrangle}



\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\welldef{{\operatorname{wd}}}
\def\welld{{\operatorname{wd}}}

\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\comp {\operatorname{comp}}
\def\src  {\operatorname{src}}
\def\tgt  {\operatorname{tgt}}
\def\fv   {\operatorname{fv}}
\def\FV   {\operatorname{FV}}
\def\dom  {\operatorname{dom}}
\def\Cod  {\operatorname{Cod}}
\def\Sub  {\operatorname{Sub}}
\def\CanSub{\operatorname{CanSub}}

\def\idL	{Ð{idL}}
\def\idR	{Ð{idR}}
\def\assoc	{Ð{assoc}}
\def\respcomp	{Ð{respcomp}}
\def\respids	{Ð{respids}}
\def\sqcond	{Ð{sqcond}}
\def\iscartesian{Ð{iscartesian}}
\def\ismonic	{Ð{ismonic}}

\def\wdiso	{{¦{wd}_{\!/¦{iso}}}}



% Bananas
\def\ban#1{(\mskip-1.2\thinmuskip| #1 |\mskip-1.2\thinmuskip)}

\def\<{\langle}
\def\>{\rangle}

\def\cocart{{¦{co}ñ}}


% «hyp-rules»  (to ".hyp-rules")
% Rules for hyperdoctrines (2010apr18)
%
\def\nat     {\natural}
\def\Ptrue   {ÐP§}
\def\Ptruenat{ÐP§^\nat}
\def\Pand    {ÐP∧}
\def\Pandnat {ÐP∧^\nat}
\def\Pimp    {ÐP{⊃}}
\def\Pimpnat {ÐP{⊃}^\nat}
\def\Frob    {Ð{Frob}}
\def\Frobnat {Ð{Frob}^\nat}
\def\BCCL    {Ð{BCCL}}
\def\BCCLnat {Ð{BCCL}^\nat}
\def\BCCR    {Ð{BCCR}}
\def\BCCRnat {Ð{BCCR}^\nat}
\def\BCCex   {Ð{BCCÎ}}
\def\BCCexnat{Ð{BCCÎ}^\nat}
\def\BCCeq   {Ð{BCC{=}}}
\def\BCCeqnat{Ð{BCC{=}}^\nat}
\def\BCCfa   {Ð{BCCý}}
\def\BCCfanat{Ð{BCCý}^\nat}
\def\cart    {Ð{cart}}
\def\cartnat {Ð{cart}^\nat}

\def\psyn    {Ð{psyn}}

\def\sen   {\operatorname{sen}}
\def\arcsen{\operatorname{arcsen}}
\def\sec   {\operatorname{sec}}
\def\arcsec{\operatorname{arcsec}}

% \def\cur  {\operatorname{cur}}
% \def\uncur{\operatorname{uncur}}
\def\cur  {\operatorname{\textsf{cur}}}
\def\uncur{\operatorname{\textsf{uncur}}}







% Local Variables:
% coding:               raw-text-unix
% ee-delimiter-percent: "\n%*\n"
% ee-anchor-format:     "«%s»"
% End: