%%% comandos.tex --- 

%% Author: Giménez, Christian
%% Version: $Id: comandos.tex,v 0.0 2016/06/07 17:17:07 christian Exp$

% Copyright 2016 Giménez, Christian
  
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
% the Free Software Foundation, either version 3 of the License, or
% (at your option) any later version.

% This program is distributed in the hope that it will be useful,
% but WITHOUT ANY WARRANTY; without even the implied warranty of
% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
% GNU General Public License for more details.

% You should have received a copy of the GNU General Public License
% along with this program.  If not, see <http://www.gnu.org/licenses/>.


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%% Cualquier duda ejecutar texdoctk.

\newcommand{\crowd}{\emph{crowd}}

\newcommand{\file}[1]{%
  \texttt{#1}%
}

%% ----------------------------------------------------------------------
%% Coding Text
%% ----------------------------------------------------------------------

%% Commands for representing language elements
\newcommand{\class}[1]{%
  \texttt{#1}%
}

\newcommand{\attr}[1]{%
  \texttt{#1}%
}

\newcommand{\method}[1]{\func{1}}
\newcommand{\func}[1]{%
  \texttt{#1}%
}

\newcommand{\tag}[1]{%
  \texttt{<#1>}%
}

\newenvironment{codetext}[1]{
  \begin{center}
  }{
  \end{center}
}

\newcommand{\var}[1]{%
  \texttt{#1}%
}

%% A Console command.
\newcommand{\command}[1]{%
  \texttt{#1}%
}

\newtheorem{defint}{Definición}[chapter]
\newtheorem{exint}{Ejemplo}[chapter]

\newenvironment{definition}[1][]% 
{\begin{defint} {\bf #1 :}\rm
  }{
  \end{defint}\unskip\nobreak\hskip 2em plus 1fil\nobreak $^\blacksquare$  \parfillskip=3pt \endtrivlist
}

\newenvironment{example}%
{\begin{exint}\rm
  }{
  \end{exint} \unskip\nobreak\hskip 2em plus 1fil\nobreak $^\blacksquare$  \parfillskip=3pt \endtrivlist
}
% \newcounter{definition}[chapter] \newcounter{example}[chapter]
% \newenvironment{definition}[1][]{\refstepcounter{definition}\trivlist\item[\hskip \labelsep {\bf
%  Definici\'on} \bf \arabic{definition} #1 \rm \enskip]}
%  {\unskip\nobreak\hskip 2em plus 1fil\nobreak
%   $^\blacksquare$
% \parfillskip=3pt \endtrivlist}

\newenvironment{definition*}[1]{\begin{definition}[(#1)]}{\end{definition}}

% \newenvironment{example}{\refstepcounter{example} \trivlist\item[\hskip \labelsep  {\bf Ejemplo \arabic{example}}\rm  \enskip]} { \unskip\nobreak\hskip 2em plus 1fil\nobreak $^\blacksquare $  \parfillskip=3pt \endtrivlist}


\newenvironment{demo} {\trivlist\item[\hskip \labelsep {\bf Demostraci\'on:\rm }\enskip]}{ \unskip\nobreak\hskip 2em plus 1fil\nobreak $^\blacksquare$\parfillskip=3pt \endtrivlist}

\newcommand{\axAs}[2]{$#1\!:\!#2$}

%% ----------------------------------------------------------------------
%% Familia de DL
%% ----------------------------------------------------------------------

\newcommand{\DL}{DL}
\newcommand{\FOL}{$\mathcal{FOL}$}
\newcommand{\DLR}[1]{$\mathcal{DLR_{#1}}$}
\newcommand{\ALCQ}{{$\mathcal{ALCQ}$}}
\newcommand{\ALCQI}{$\mathcal{ALCQI}$}
\newcommand{\SHIF}{$\mathcal{SHIF}$}
\newcommand{\SHIN}{$\mathcal{SHIN}$}
\newcommand{\SHOIN}{$\mathcal{SHOIN}$}
\newcommand{\SHOIQ}{$\mathcal{SHOIQ}$}
\newcommand{\SHIQ}{$\mathcal{SHIQ}$}
\newcommand{\SROIQ}{$\mathcal{SROIQ}$}
\newcommand{\EL}{$\mathcal{EL}$}
\newcommand{\AL}{$\mathcal{AL}$}
\newcommand{\ALC}{$\mathcal{ALC}$}

\newcommand{\mcI}{\ensuremath{}\mathcal{I}}
\newcommand{\then}{\ensuremath{}\rightarrow}

%% DIG

\newcommand{\TELL}{\texttt{TELL}}
\newcommand{\ASK}{\texttt{ASK}}


% \newcounter{mycomment}

% \newcommand{\comment}[3]{%
%   \commentopt{#1}{#2}{#3}%
% }
% \newcommand{\commentin}[3]{%
%   \commentopt[inline]{#1}{#2}{#3}%
% }

% \newcommand{\chris}[2]{%
%   \commentopt[backgroundcolor=green!40]{C}{#1}{#2}
% }
% \newcommand{\chrisin}[2]{%
%   \commentopt[inline,backgroundcolor=green!40]{C}{#1}{#2}
% }
% \newcommand{\german}[2]{%
%   \commentopt[backgroundcolor=blue!40]{G}{#1}{#2}
% }
% \newcommand{\germanin}[2]{%
%   \commentopt[inline,backgroundcolor=blue!40]{G}{#1}{#2}
% }

%%
%% Usage: \commentopt[todonotes-OPTIONS][USER-INITIALS][DATE]{COMMENT TEXT}
%% Add a todonotes \todo formatted for adding a comment.
%% Code based on the example in the todonotes.pdf documentation.
% \newcommand{\commentopt}[4][]{%
%   % initials of the author (optional) + note in the margin
%   \refstepcounter{mycomment}%
%   {%
%     %% \setstretch{0.7}% spacing
%     \todo[#1]{%
%       \textbf{[\uppercase{#2} {#3} \themycomment]:}~#4}%
%   }}


%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "tesis.tex"
%%% TeX-PDF-mode: t
%%% coding: utf-8
%%% End: 
