% This is file `test.tex'.
% This file is part of GraphTheorySymbol.
%
% GraphTheorySymbol is free software:
% you can redistribute it and/or modify it
% under the terms of the GNU Lesser General Public License
% as published by the Free Software Foundation,
% either version 3 of the License,
% or (at your option) any later version.
%
% GraphTheorySymbol 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 Lesser General Public License for more details.
%
% You should have received a copy of
% the GNU Lesser General Public License
% along with GraphTheorySymbol.
% If not, see <https://www.gnu.org/licenses/>.
%
% This work is maintained by Laurent Lyaudet.
%
% This work consists of the files graph-theory-symbol.dtx,
%                                 graph-theory-symbol.ins,
%                                 tex/memo-symbols-standard.tex,
%                                 tex/memo-symbols-monochrome.tex,
%                                 tex/memo-symbols-meta-logic.tex,
%                                 tex/memo-preamble.tex,
%                                 tex/memo-versatile-macros.tex,
%                                 graph-theory-symbol-memo.tex, and
%                                 test.tex,
% and the derived files           graph-theory-symbol.sty,
%                                 graph-theory-symbol-doc-A4.pdf,
%                                 graph-theory-symbol-doc-USLetter.pdf,
%                                 graph-theory-symbol-doc-Book.pdf,
%                                 graph-theory-symbol-memo-A4.pdf,
%                                 graph-theory-symbol-memo-USLetter.pdf,
%                                 graph-theory-symbol-memo-Book.pdf,
%                                 test-A4.pdf,
%                                 test-USLetter.pdf, and
%                                 test-Book.pdf.
%
% ©Copyright 2026 Laurent Frédéric Bernard François Lyaudet
\if\buildtarget0% A4 paper
\documentclass{article}
\usepackage[a4paper,vmargin=20mm,left=27mm,right=27mm,nohead]{geometry}
\else\if\buildtarget1% US Letter paper
\documentclass{article}
\usepackage[letterpaper,vmargin=20mm,left=27mm,right=27mm,nohead]{geometry}
\else\if\buildtarget2% Book with US Letter paper
\documentclass[twoside]{article}
\usepackage[letterpaper,vmargin=20mm,outer=24mm,inner=24mm,nohead,
bindingoffset=5mm]{geometry}
\fi
\fi
\fi
\usepackage{graph-theory-symbol}

\begin{document}

\newcommand{\GTStestText}[2]{
\noindent
Paragraph #1 paragraph.\newline
Abbreviation: #1B., B.#1, B.#1B.\newline
Normal size math : normal $a#1b$, relation $u#2v$.\newline
Index math : normal $G_{a#1b}$, relation $G_{u#2v}$.\newline
Exponent math : normal $H^{a#1b}$, relation $H^{u#2v}$.\newline
}

\newcommand{\GTStestTextII}[2]{
\noindent
Paragraph #1 paragraph.\newline
Abbreviation: #1B., B.#1, B.#1B.\newline
Normal size math : normal $a#1e$, relation $u#2f$.\newline
Index math : normal $G_{a#1e}$, relation $G_{u#2f}$.\newline
Exponent math : normal $H^{a#1e}$, relation $H^{u#2f}$.\newline
}

\ExplSyntaxOn
\makeatletter

% These functions cannot be protected in the .dtx,
% since they use global state for the default colors.
% But for this test file, it is ok to protect them.
\cs_set_eq:NN \GTS@a_unprotected \GTS@a
\cs_set_eq:NN \GTS@b_unprotected \GTS@b
\cs_set_eq:NN \GTS@i_unprotected \GTS@i
\cs_set_eq:NN \GTS@j_unprotected \GTS@j

\cs_set_protected:Npn \GTS@a #1#2#3#4#5%
 {\GTS@a_unprotected{#1}{#2}{#3}{#4}{#5}}
\cs_set_protected:Npn \GTS@b #1#2#3#4#5#6%
 {\GTS@b_unprotected{#1}{#2}{#3}{#4}{#5}{#6}}
\cs_set_protected:Npn \GTS@i #1#2#3#4#5%
 {\GTS@i_unprotected{#1}{#2}{#3}{#4}{#5}}
\cs_set_protected:Npn \GTS@j #1#2#3#4#5#6%
 {\GTS@j_unprotected{#1}{#2}{#3}{#4}{#5}{#6}}

\newcommand{\GTStestEqual}[2]{%
\str_if_eq:eeTF {#1} {#2} {OK} {Fail!\newline #1\newline #2\newline}%
}

\makeatother
\ExplSyntaxOff

% If you want to test that \GTStestEqual behaves correctly
% for simple aliases.
% \GTStestEqual{abcd}{abcd}
% \GTStestEqual{efgh}{abcd}
% \GTStestEqual{\GTSa/}{\GTSa/}
% \GTStestEqual{\GTSa/}{\GTSadjacency/}
% \GTStestEqual{\GTSa/}{$\GTSaR/$}
% But see that it doesn't work for macros that use keyval.
% \GTStestEqual{\GTSa/}{\GTSxa[]}
% \GTStestEqual{\GTSa/}{\GTSxa[r]}

\newcommand{\GTStestEqualTextsI}[4]{%
\GTStestEqual{\GTStestText{#1}{#2}}{\GTStestText{#3}{#4}}%
}

\newcommand{\GTStestEqualTextsII}[4]{%
\GTStestEqual{\GTStestTextII{#1}{#2}}{\GTStestTextII{#3}{#4}}%
}


\newcommand{\GTStestNormalSymbolsCalls}{
\subsection{Adjacency}

\GTStestText{\GTSa/}{\GTSaR/}

\GTStestText{\GTSxa[]}{\GTSxa[r]}

\GTStestText{\GTSx[]{a}}{\GTSx[r]{a}}

\GTStestEqualTextsI{\GTSa/}{\GTSaR/}%
{\GTSadjacency/}%
{\GTSadjacencyRelation/}
\GTStestEqualTextsI{\GTSa/}{\GTSaR/}%
{\GTSadj/}%
{\GTSadjRel/}

\subsection{Unadjacency}

\GTStestText{\GTSu/}{\GTSuR/}

\GTStestText{\GTSxa[n]}{\GTSxa[n,r]}

\GTStestText{\GTSx[n]{a}}{\GTSx[n,r]{a}}

\GTStestEqualTextsI{\GTSu/}{\GTSuR/}%
{\GTSunadjacency/}%
{\GTSunadjacencyRelation/}
\GTStestEqualTextsI{\GTSu/}{\GTSuR/}%
{\GTSunadj/}%
{\GTSunadjRel/}

\subsection{Directed adjacency up}

\GTStestText{\GTSdAU/}{\GTSdAUR/}

\GTStestText{\GTSxa[u]}{\GTSxa[u,r]}

\GTStestText{\GTSx[u]{a}}{\GTSx[u,r]{a}}

\GTStestEqualTextsI{\GTSdAU/}{\GTSdAUR/}%
{\GTSdirectedAdjacencyUp/}%
{\GTSdirectedAdjacencyUpRelation/}
\GTStestEqualTextsI{\GTSdAU/}{\GTSdAUR/}%
{\GTSdirAdjUp/}%
{\GTSdirAdjUpRel/}

\subsection{Negated directed adjacency up}

\GTStestText{\GTSnDAU/}{\GTSnDAUR/}

\GTStestText{\GTSxa[n,u]}{\GTSxa[n,u,r]}

\GTStestText{\GTSx[n,u]{a}}{\GTSx[n,u,r]{a}}

\GTStestEqualTextsI{\GTSnDAU/}{\GTSnDAUR/}%
{\GTSnegatedDirectedAdjacencyUp/}%
{\GTSnegatedDirectedAdjacencyUpRelation/}
\GTStestEqualTextsI{\GTSnDAU/}{\GTSnDAUR/}%
{\GTSnegDirAdjUp/}%
{\GTSnegDirAdjUpRel/}

\subsection{Directed adjacency down}

\GTStestText{\GTSdAD/}{\GTSdADR/}

\GTStestText{\GTSxa[d]}{\GTSxa[d,r]}

\GTStestText{\GTSx[d]{a}}{\GTSx[d,r]{a}}

\GTStestEqualTextsI{\GTSdAD/}{\GTSdADR/}%
{\GTSdirectedAdjacencyDown/}%
{\GTSdirectedAdjacencyDownRelation/}
\GTStestEqualTextsI{\GTSdAD/}{\GTSdADR/}%
{\GTSdirAdjDown/}%
{\GTSdirAdjDownRel/}

\subsection{Negated directed adjacency down}

\GTStestText{\GTSnDAD/}{\GTSnDADR/}

\GTStestText{\GTSxa[n,d]}{\GTSxa[n,d,r]}

\GTStestText{\GTSx[n,d]{a}}{\GTSx[n,d,r]{a}}

\GTStestEqualTextsI{\GTSnDAD/}{\GTSnDADR/}%
{\GTSnegatedDirectedAdjacencyDown/}%
{\GTSnegatedDirectedAdjacencyDownRelation/}
\GTStestEqualTextsI{\GTSnDAD/}{\GTSnDADR/}%
{\GTSnegDirAdjDown/}%
{\GTSnegDirAdjDownRel/}

\subsection{Incidence}

\GTStestTextII{\GTSi/}{\GTSiR/}

\GTStestTextII{\GTSxi[]}{\GTSxi[r]}

\GTStestTextII{\GTSx[]{i}}{\GTSx[r]{i}}

\GTStestEqualTextsII{\GTSi/}{\GTSiR/}%
{\GTSincidence/}%
{\GTSincidenceRelation/}
\GTStestEqualTextsII{\GTSi/}{\GTSiR/}%
{\GTSinc/}%
{\GTSincRel/}


\subsection{Negated incidence}

\GTStestTextII{\GTSnI/}{\GTSnIR/}

\GTStestTextII{\GTSxi[n]}{\GTSxi[n,r]}

\GTStestTextII{\GTSx[n]{i}}{\GTSx[n,r]{i}}

\GTStestEqualTextsII{\GTSnI/}{\GTSnIR/}%
{\GTSnegatedIncidence/}%
{\GTSnegatedIncidenceRelation/}
\GTStestEqualTextsII{\GTSnI/}{\GTSnIR/}%
{\GTSnegInc/}%
{\GTSnegIncRel/}

\subsection{Directed incidence up/out}

\GTStestTextII{\GTSoI/}{\GTSoIR/}

\GTStestTextII{\GTSxi[o]}{\GTSxi[o,r]}

\GTStestTextII{\GTSx[o]{i}}{\GTSx[o,r]{i}}

\GTStestEqualTextsII{\GTSoI/}{\GTSoIR/}%
{\GTSoutIncidence/}%
{\GTSoutIncidenceRelation/}
\GTStestEqualTextsII{\GTSoI/}{\GTSoIR/}%
{\GTSoutInc/}%
{\GTSoutIncRel/}

\subsection{Negated directed incidence up/out}

\GTStestTextII{\GTSnOI/}{\GTSnOIR/}

\GTStestTextII{\GTSxi[n,o]}{\GTSxi[n,o,r]}{i}

\GTStestTextII{\GTSx[n,o]{i}}{\GTSx[n,o,r]{i}}

\GTStestEqualTextsII{\GTSnOI/}{\GTSnOIR/}%
{\GTSnegatedOutIncidence/}%
{\GTSnegatedOutIncidenceRelation/}
\GTStestEqualTextsII{\GTSnOI/}{\GTSnOIR/}%
{\GTSnegOutInc/}%
{\GTSnegOutIncRel/}

\subsection{Directed incidence down/in}

\GTStestTextII{\GTSiI/}{\GTSiIR/}

\GTStestTextII{\GTSxi[i]}{\GTSxi[i,r]}

\GTStestTextII{\GTSx[i]{i}}{\GTSx[i,r]{i}}

\GTStestEqualTextsII{\GTSiI/}{\GTSiIR/}%
{\GTSinIncidence/}%
{\GTSinIncidenceRelation/}
\GTStestEqualTextsII{\GTSiI/}{\GTSiIR/}%
{\GTSinInc/}%
{\GTSinIncRel/}

\subsection{Negated directed incidence down/in}

\GTStestTextII{\GTSnII/}{\GTSnIIR/}

\GTStestTextII{\GTSxi[n,i]}{\GTSxi[n,i,r]}

\GTStestTextII{\GTSx[n,i]{i}}{\GTSx[n,i,r]{i}}

\GTStestEqualTextsII{\GTSnII/}{\GTSnIIR/}%
{\GTSnegatedInIncidence/}%
{\GTSnegatedInIncidenceRelation/}
\GTStestEqualTextsII{\GTSnII/}{\GTSnIIR/}%
{\GTSnegInInc/}%
{\GTSnegInIncRel/}
}

\section{Standard symbols}

\GTStestNormalSymbolsCalls

\subsection{Meta-not/relation-not}

\GTStestText{\GTSmN/}{\GTSmN/}

\GTStestText{\GTSxml[not]}{\GTSxml[n]}

\GTStestText{\GTSx[not]{m}}{\GTSx[n]{m}}

\GTStestEqualTextsI{\GTSmN/}{\GTSmN/}%
{\GTSmetaNot/}%
{\GTSmetaNot/}

\subsection{Meta-and/relation-and}

\GTStestText{\GTSmA/}{\GTSmAR/}

\GTStestText{\GTSxml[and]}{\GTSxml[a,r]}

\GTStestText{\GTSx[and]{m}}{\GTSx[a,r]{m}}

\GTStestEqualTextsI{\GTSmA/}{\GTSmAR/}%
{\GTSmetaAnd/}%
{\GTSmetaAndRelation/}
\GTStestEqualTextsI{\GTSmA/}{\GTSmAR/}%
{\GTSmetaAnd/}%
{\GTSmetaAndRel/}

\subsection{Meta-or/relation-or}

\GTStestText{\GTSmO/}{\GTSmOR/}

\GTStestText{\GTSxml[or]}{\GTSxml[o,r]}

\GTStestText{\GTSx[or]{m}}{\GTSx[o,r]{m}}

\GTStestEqualTextsI{\GTSmO/}{\GTSmOR/}%
{\GTSmetaOr/}%
{\GTSmetaOrRelation/}
\GTStestEqualTextsI{\GTSmO/}{\GTSmOR/}%
{\GTSmetaOr/}%
{\GTSmetaOrRel/}



\section{Every adjacency/incidency types in blue}

\GTSsetMainColor{blue}

\GTStestNormalSymbolsCalls



\section{Every adjacency/incidency types in red}

\GTSsetMainColor{red}

\GTStestNormalSymbolsCalls



\section{Every symbols in monochrome}

\subsection{Adjacency}

\GTStestText{\GTSaM/}{\GTSaMR/}

\GTStestText{\GTSxa[m]}{\GTSxa[m,r]}

\GTStestText{\GTSx[m]{a}}{\GTSx[m,r]{a}}

\GTStestEqualTextsI{\GTSaM/}{\GTSaMR/}%
{\GTSadjacencyMonochrome/}%
{\GTSadjacencyMonochromeRelation/}
\GTStestEqualTextsI{\GTSaM/}{\GTSaMR/}%
{\GTSadjMono/}%
{\GTSadjMonoRel/}
\GTStestEqualTextsI{\GTSaM/}{\GTSaMR/}%
{\GTSadjMon/}%
{\GTSadjMonRel/}

Checking if normal colors are ok.

\GTStestText{\GTSa/}{\GTSaR/}

\subsection{Unadjacency}

\GTStestText{\GTSuM/}{\GTSuMR/}

\GTStestText{\GTSxa[m,n]}{\GTSxa[m,n,r]}

\GTStestText{\GTSx[m,n]{a}}{\GTSx[m,n,r]{a}}

\GTStestEqualTextsI{\GTSuM/}{\GTSuMR/}%
{\GTSunadjacencyMonochrome/}%
{\GTSunadjacencyMonochromeRelation/}
\GTStestEqualTextsI{\GTSuM/}{\GTSuMR/}%
{\GTSunadjMono/}%
{\GTSunadjMonoRel/}
\GTStestEqualTextsI{\GTSuM/}{\GTSuMR/}%
{\GTSunadjMon/}%
{\GTSunadjMonRel/}

\subsection{Directed adjacency up}

\GTStestText{\GTSdAUM/}{\GTSdAUMR/}

\GTStestText{\GTSxa[m,u]}{\GTSxa[m,u,r]}

\GTStestText{\GTSx[m,u]{a}}{\GTSx[m,u,r]{a}}

\GTStestEqualTextsI{\GTSdAUM/}{\GTSdAUMR/}%
{\GTSdirectedAdjacencyUpMonochrome/}%
{\GTSdirectedAdjacencyUpMonochromeRelation/}
\GTStestEqualTextsI{\GTSdAUM/}{\GTSdAUMR/}%
{\GTSdirAdjUpMon/}%
{\GTSdirAdjUpMonRel/}
\GTStestEqualTextsI{\GTSdAUM/}{\GTSdAUMR/}%
{\GTSdirAdjUpMono/}%
{\GTSdirAdjUpMonoRel/}

\subsection{Negated directed adjacency up}

\GTStestText{\GTSnDAUM/}{\GTSnDAUMR/}

\GTStestText{\GTSxa[m,n,u]}{\GTSxa[m,n,u,r]}

\GTStestText{\GTSx[m,n,u]{a}}{\GTSx[m,n,u,r]{a}}

\GTStestEqualTextsI{\GTSnDAUM/}{\GTSnDAUMR/}%
{\GTSnegatedDirectedAdjacencyUpMonochrome/}%
{\GTSnegatedDirectedAdjacencyUpMonochromeRelation/}
\GTStestEqualTextsI{\GTSnDAUM/}{\GTSnDAUMR/}%
{\GTSnegDirAdjUpMono/}%
{\GTSnegDirAdjUpMonoRel/}
\GTStestEqualTextsI{\GTSnDAUM/}{\GTSnDAUMR/}%
{\GTSnegDirAdjUpMon/}%
{\GTSnegDirAdjUpMonRel/}

\subsection{Directed adjacency down}

\GTStestText{\GTSdADM/}{\GTSdADMR/}

\GTStestText{\GTSxa[m,d]}{\GTSxa[m,d,r]}

\GTStestText{\GTSx[m,d]{a}}{\GTSx[m,d,r]{a}}

\GTStestEqualTextsI{\GTSdADM/}{\GTSdADMR/}%
{\GTSdirectedAdjacencyDownMonochrome/}%
{\GTSdirectedAdjacencyDownMonochromeRelation/}
\GTStestEqualTextsI{\GTSdADM/}{\GTSdADMR/}%
{\GTSdirAdjDownMono/}%
{\GTSdirAdjDownMonoRel/}
\GTStestEqualTextsI{\GTSdADM/}{\GTSdADMR/}%
{\GTSdirAdjDownMon/}%
{\GTSdirAdjDownMonRel/}

\subsection{Negated directed adjacency down}

\GTStestText{\GTSnDADM/}{\GTSnDADMR/}

\GTStestText{\GTSxa[m,n,d]}{\GTSxa[m,n,d,r]}

\GTStestText{\GTSx[m,n,d]{a}}{\GTSx[m,n,d,r]{a}}

\GTStestEqualTextsI{\GTSnDADM/}{\GTSnDADMR/}%
{\GTSnegatedDirectedAdjacencyDownMonochrome/}%
{\GTSnegatedDirectedAdjacencyDownMonochromeRelation/}
\GTStestEqualTextsI{\GTSnDADM/}{\GTSnDADMR/}%
{\GTSnegDirAdjDownMono/}%
{\GTSnegDirAdjDownMonoRel/}
\GTStestEqualTextsI{\GTSnDADM/}{\GTSnDADMR/}%
{\GTSnegDirAdjDownMon/}%
{\GTSnegDirAdjDownMonRel/}

\subsection{Incidence}

\GTStestTextII{\GTSiM/}{\GTSiMR/}

\GTStestTextII{\GTSxi[m]}{\GTSxi[m,r]}

\GTStestTextII{\GTSx[m]{i}}{\GTSx[m,r]{i}}

\GTStestEqualTextsII{\GTSiM/}{\GTSiMR/}%
{\GTSincidenceMonochrome/}%
{\GTSincidenceMonochromeRelation/}
\GTStestEqualTextsII{\GTSiM/}{\GTSiMR/}%
{\GTSincMono/}%
{\GTSincMonoRel/}
\GTStestEqualTextsII{\GTSiM/}{\GTSiMR/}%
{\GTSincMon/}%
{\GTSincMonRel/}

Checking if normal colors are ok.

\GTStestTextII{\GTSi/}{\GTSiR/}

\subsection{Negated incidence}

\GTStestTextII{\GTSnIM/}{\GTSnIMR/}

\GTStestTextII{\GTSxi[m,n]}{\GTSxi[m,n,r]}

\GTStestTextII{\GTSx[m,n]{i}}{\GTSx[m,n,r]{i}}

\GTStestEqualTextsII{\GTSnIM/}{\GTSnIMR/}%
{\GTSnegatedIncidenceMonochrome/}%
{\GTSnegatedIncidenceMonochromeRelation/}
\GTStestEqualTextsII{\GTSnIM/}{\GTSnIMR/}%
{\GTSnegIncMono/}%
{\GTSnegIncMonoRel/}
\GTStestEqualTextsII{\GTSnIM/}{\GTSnIMR/}%
{\GTSnegIncMon/}%
{\GTSnegIncMonRel/}

\subsection{Directed incidence up/out}

\GTStestTextII{\GTSoIM/}{\GTSoIMR/}

\GTStestTextII{\GTSxi[m,o]}{\GTSxi[m,o,r]}

\GTStestTextII{\GTSx[m,o]{i}}{\GTSx[m,o,r]{i}}

\GTStestEqualTextsII{\GTSoIM/}{\GTSoIMR/}%
{\GTSoutIncidenceMonochrome/}%
{\GTSoutIncidenceMonochromeRelation/}
\GTStestEqualTextsII{\GTSoIM/}{\GTSoIMR/}%
{\GTSoutIncMono/}%
{\GTSoutIncMonoRel/}
\GTStestEqualTextsII{\GTSoIM/}{\GTSoIMR/}%
{\GTSoutIncMon/}%
{\GTSoutIncMonRel/}

\subsection{Negated directed incidence up/out}

\GTStestTextII{\GTSnOIM/}{\GTSnOIMR/}

\GTStestTextII{\GTSxi[m,n,o]}{\GTSxi[m,n,o,r]}

\GTStestTextII{\GTSx[m,n,o]{i}}{\GTSx[m,n,o,r]{i}}

\GTStestEqualTextsII{\GTSnOIM/}{\GTSnOIMR/}%
{\GTSnegatedOutIncidenceMonochrome/}%
{\GTSnegatedOutIncidenceMonochromeRelation/}
\GTStestEqualTextsII{\GTSnOIM/}{\GTSnOIMR/}%
{\GTSnegOutIncMono/}%
{\GTSnegOutIncMonoRel/}
\GTStestEqualTextsII{\GTSnOIM/}{\GTSnOIMR/}%
{\GTSnegOutIncMon/}%
{\GTSnegOutIncMonRel/}

\subsection{Directed incidence down/in}

\GTStestTextII{\GTSiIM/}{\GTSiIMR/}

\GTStestTextII{\GTSxi[m,i]}{\GTSxi[m,i,r]}

\GTStestTextII{\GTSx[m,i]{i}}{\GTSx[m,i,r]{i}}

\GTStestEqualTextsII{\GTSiIM/}{\GTSiIMR/}%
{\GTSinIncidenceMonochrome/}%
{\GTSinIncidenceMonochromeRelation/}
\GTStestEqualTextsII{\GTSiIM/}{\GTSiIMR/}%
{\GTSinIncMono/}%
{\GTSinIncMonoRel/}
\GTStestEqualTextsII{\GTSiIM/}{\GTSiIMR/}%
{\GTSinIncMon/}%
{\GTSinIncMonRel/}

\subsection{Negated directed incidence down/in}

\GTStestTextII{\GTSnIIM/}{\GTSnIIMR/}

\GTStestTextII{\GTSxi[m,n,i]}{\GTSxi[m,n,i,r]}

\GTStestTextII{\GTSx[m,n,i]{i}}{\GTSx[m,n,i,r]{i}}

\GTStestEqualTextsII{\GTSnIIM/}{\GTSnIIMR/}%
{\GTSnegatedInIncidenceMonochrome/}%
{\GTSnegatedInIncidenceMonochromeRelation/}
\GTStestEqualTextsII{\GTSnIIM/}{\GTSnIIMR/}%
{\GTSnegInIncMono/}%
{\GTSnegInIncMonoRel/}
\GTStestEqualTextsII{\GTSnIIM/}{\GTSnIIMR/}%
{\GTSnegInIncMon/}%
{\GTSnegInIncMonRel/}

\end{document}