\newcommand{\ifthen}[2]{\ifthenelse{#1}{#2}{}}

% ------- La igualdad observacional ----------------------------------------------- % \tadIgualdadObservacional{<n>}{<m>}{<género>}{<condiciones de igualdad>} % Escribe el encabezado "igualdad observacional" y luego escribe la igualdad % observacional. Este comando debe usarse cuando la igualdad se define paratodo % <n> <m> de tipo <genero>. % Las variables <n> y <m> se escribiran en modo matematico, mientras % que <genero> y las <condiciones de igualdad> se escriben en modo texto. % \newlength{\igualobs@pre} %cuanto ocupa la parte del ``para todo n, m: genero, etc'' \newlength{\igualobs@max} %cuanto es el maximo espacio para las condiciones de igualdad \newcommand{\tadIgualdadObservacional}[4]{% %cargamos las variables de longitud \settominwidth{\igualobs@pre}{$(\forall #1, #2: \text{#3})~(~#1 \igobs #2 \ssi~~~~~~~~~~$}% \setlength{\igualobs@max}{\textwidth - \tadAnchoEncabezados - \parindent - \igualobs@pre}% %escribimos la igualdad. \tadEncabezado{igualdad observacional}{% $(\forall #1, #2: \text{#3})~\left(% #1 \igobs #2 \ssi% \left(\pbox[c][\igualobs@max]{#4}\right)% \right)$% }% } % % \tadIgualdadObservacionalSimple{<condiciones de igualdad>} % Escribe el encabezado "igualdad observacional" y luego escribe la igualdad % observacional. Este comando debe usarse cuando la igualdad se decribe por % extension, como para bool. % Las variables <n> y <m> se escribiran en modo matematico, mientras % que <genero> y las <condiciones de igualdad> se escriben en modo texto. % \newlength{\igualobssimple@max} %cuanto es el maximo espacio para las condiciones de igualdad \newcommand{\tadIgualdadObservacionalSimple}[1]{% \setlength{\igualobssimple@max}{\textwidth - \tadAnchoEncabezados - \parindent}% \tadEncabezado{igualdad observacional}{$\left(\pbox[c][\igualobssimple@max]{#1}\right)$}% }

% ------- Los tres encabezados standard ------------------------------------ % % \tadUsa{<tipos usados>}, \tadExporta{<funciones exportadas>}, \tadGeneros{<nuevos generos>}, etc. % \newcommand{\tadUsa}[1]{\tadEncabezado{usa}{#1}} \newcommand{\tadExporta}[1]{\tadEncabezado{exporta}{#1}} \newcommand{\tadGeneros}[1]{\tadEncabezado{g\'eneros}{#1}}

% ------- Títulos adicionales ------------------------------------ % % \tadExtiende{<tipo extendido>}, \tadParametrosFormales{<params>} % \newcommand{\tadExtiende}[1]{\tadEncabezado{extiende}{#1}} \newcommand{\tadParametrosFormales}[1]{\tadEncabezado{par\'ametros formales}{#1}} % ------- El título para 'axiomas' ----------------------------------------- % % \tadAxiomas[<cuantificación de las variables>] % \newcommand{\tadAxiomas}[1][]{\tadEncabezado{axiomas}{#1}} % ------- título simple ---------------------------------------------------- % % \tad@titulo{<título>} % Compone un título simple en negrita sin nada a su derecha. Esto es para % implementar títulos como 'observadores básicos', 'generadores', etc. % \newcommand{\tadTitulo}[1]{\vspace*{\tadSeparacionTitulos}\par{\textbf{#1}}\par} % ------- Los tres títulos standard ---------------------------------------- % \tadObservadores, \tadGeneradores, \tadOtrasOperaciones % \newcommand{\tadObservadores}{\tadTitulo{observadores b\'asicos}{}} \newcommand{\tadGeneradores}{\tadTitulo{generadores}{}} \newcommand{\tadOtrasOperaciones}{\tadTitulo{otras operaciones}{}}

\newcommand{\ifthen}[2]{\ifthenelse{#1}{#2}{}}

% ------- La igualdad observacional ----------------------------------------------- % \tadIgualdadObservacional{<n>}{<m>}{<género>}{<condiciones de igualdad>} % Escribe el encabezado "igualdad observacional" y luego escribe la igualdad % observacional. Este comando debe usarse cuando la igualdad se define paratodo % <n> <m> de tipo <genero>. % Las variables <n> y <m> se escribiran en modo matematico, mientras % que <genero> y las <condiciones de igualdad> se escriben en modo texto. % \newlength{\igualobs@pre} %cuanto ocupa la parte del ``para todo n, m: genero, etc'' \newlength{\igualobs@max} %cuanto es el maximo espacio para las condiciones de igualdad \newcommand{\tadIgualdadObservacional}[4]{% %cargamos las variables de longitud \settominwidth{\igualobs@pre}{$(\forall #1, #2: \text{#3})~(~#1 \igobs #2 \ssi~~~~~~~~~~$}% \setlength{\igualobs@max}{\textwidth - \tadAnchoEncabezados - \parindent - \igualobs@pre}% %escribimos la igualdad. \tadEncabezado{igualdad observacional}{% $(\forall #1, #2: \text{#3})~\left(% #1 \igobs #2 \ssi% \left(\pbox[c][\igualobs@max]{#4}\right)% \right)$% }% } % % \tadIgualdadObservacionalSimple{<condiciones de igualdad>} % Escribe el encabezado "igualdad observacional" y luego escribe la igualdad % observacional. Este comando debe usarse cuando la igualdad se decribe por % extension, como para bool. % Las variables <n> y <m> se escribiran en modo matematico, mientras % que <genero> y las <condiciones de igualdad> se escriben en modo texto. % \newlength{\igualobssimple@max} %cuanto es el maximo espacio para las condiciones de igualdad \newcommand{\tadIgualdadObservacionalSimple}[1]{% \setlength{\igualobssimple@max}{\textwidth - \tadAnchoEncabezados - \parindent}% \tadEncabezado{igualdad observacional}{$\left(\pbox[c][\igualobssimple@max]{#1}\right)$}% }

% ------- Los tres encabezados standard ------------------------------------ % % \tadUsa{<tipos usados>}, \tadExporta{<funciones exportadas>}, \tadGeneros{<nuevos generos>}, etc. % \newcommand{\tadUsa}[1]{\tadEncabezado{usa}{#1}} \newcommand{\tadExporta}[1]{\tadEncabezado{exporta}{#1}} \newcommand{\tadGeneros}[1]{\tadEncabezado{g\'eneros}{#1}}

% ------- Títulos adicionales ------------------------------------ % % \tadExtiende{<tipo extendido>}, \tadParametrosFormales{<params>} % \newcommand{\tadExtiende}[1]{\tadEncabezado{extiende}{#1}} \newcommand{\tadParametrosFormales}[1]{\tadEncabezado{par\'ametros formales}{#1}} % ------- El título para 'axiomas' ----------------------------------------- % % \tadAxiomas[<cuantificación de las variables>] % \newcommand{\tadAxiomas}[1][]{\tadEncabezado{axiomas}{#1}} % ------- título simple ---------------------------------------------------- % % \tad@titulo{<título>} % Compone un título simple en negrita sin nada a su derecha. Esto es para % implementar títulos como 'observadores básicos', 'generadores', etc. % \newcommand{\tadTitulo}[1]{\vspace*{\tadSeparacionTitulos}\par{\textbf{#1}}\par} % ------- Los tres títulos standard ---------------------------------------- % \tadObservadores, \tadGeneradores, \tadOtrasOperaciones % \newcommand{\tadObservadores}{\tadTitulo{observadores b\'asicos}{}} \newcommand{\tadGeneradores}{\tadTitulo{generadores}{}} \newcommand{\tadOtrasOperaciones}{\tadTitulo{otras operaciones}{}}