Index: doc/LaTeXmacros/common.sty
===================================================================
--- doc/LaTeXmacros/common.sty	(revision 022bce0f1f94d12a2727b9b37e573e3848c466c9)
+++ doc/LaTeXmacros/common.sty	(revision 3f9a8d0ec2f7cd020d50f08e995ba642d316f6bb)
@@ -11,6 +11,6 @@
 %% Created On       : Sat Apr  9 10:06:17 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Sun Feb 25 17:37:46 2024
-%% Update Count     : 640
+%% Last Modified On : Sun Feb 25 23:30:09 2024
+%% Update Count     : 645
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -40,9 +40,9 @@
 \newcommand{\CFA}{\protect\CFAIcon\xspace}				% CFA symbolic name
 \newcommand{\CFL}{\textrm{Cforall}\xspace}				% Cforall non-icon name
-\newcommand{\Celeven}{\textrm{C1\!1}\xspace}			% C11 symbolic name
+\newcommand{\Celeven}{\textrm{C1\hspace*{-0.4ex}1}\xspace} % C11 symbolic name
 
 \newcommand{\CCIcon}{\textrm{C}\kern-.1em\hbox{+\kern-.25em+}} % C++ icon
 % numbers disallowed in latex variables names => use number names
-\newcommand{\CCeleven}{\protect\CCIcon{1\!1}\xspace}	% C++11 symbolic name
+\newcommand{\CCeleven}{\protect\CCIcon{1\hspace*{-0.4ex}1}\xspace} % C++11 symbolic name
 \newcommand{\CCfourteen}{\protect\CCIcon{14}\xspace}	% C++14 symbolic name
 \newcommand{\CCseventeen}{\protect\CCIcon{17}\xspace}	% C++17 symbolic name
@@ -306,7 +306,7 @@
 %  {-}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.75ex}{0.1ex}}}}1
   {-}{\raisebox{-1pt}{\ttfamily-}}1
-  {^}{\raisebox{0.6ex}{$\scriptstyle\land\,$}}1
-  {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1
-  {'}{\ttfamily'\!}1
+  {^}{\raisebox{0.6ex}{\(\scriptstyle\land\,\)}}1
+  {~}{\raisebox{0.3ex}{\(\scriptstyle\sim\,\)}}1
+  {'}{\ttfamily'\hspace*{-0.4ex}}1
   {`}{\ttfamily\upshape\hspace*{-0.3ex}`}1
   {<-}{$\leftarrow$}2
Index: doc/LaTeXmacros/common.tex
===================================================================
--- doc/LaTeXmacros/common.tex	(revision 022bce0f1f94d12a2727b9b37e573e3848c466c9)
+++ doc/LaTeXmacros/common.tex	(revision 3f9a8d0ec2f7cd020d50f08e995ba642d316f6bb)
@@ -11,6 +11,6 @@
 %% Created On       : Sat Apr  9 10:06:17 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Sun Feb 25 18:11:56 2024
-%% Update Count     : 614
+%% Last Modified On : Mon Feb 26 08:06:05 2024
+%% Update Count     : 615
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -40,9 +40,9 @@
 \newcommand{\CFA}{\protect\CFAIcon\xspace}				% CFA symbolic name
 \newcommand{\CFL}{\textrm{Cforall}\xspace}				% Cforall non-icon name
-\newcommand{\Celeven}{\textrm{C1\!1}\xspace}			% C11 symbolic name
+\newcommand{\Celeven}{\textrm{C1\hspace*{-0.4ex}1}\xspace} % C11 symbolic name
 
 \newcommand{\CCIcon}{\textrm{C}\kern-.1em\hbox{+\kern-.25em+}} % C++ icon
 % numbers disallowed in latex variables names => use number names
-\newcommand{\CCeleven}{\protect\CCIcon{1\!1}\xspace}	% C++11 symbolic name
+\newcommand{\CCeleven}{\protect\CCIcon{1\hspace*{-0.4ex}1}\xspace} % C++11 symbolic name
 \newcommand{\CCfourteen}{\protect\CCIcon{14}\xspace}	% C++14 symbolic name
 \newcommand{\CCseventeen}{\protect\CCIcon{17}\xspace}	% C++17 symbolic name
@@ -310,7 +310,7 @@
 %  {-}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.75ex}{0.1ex}}}}1
   {-}{\raisebox{-1pt}{\ttfamily-}}1
-  {^}{\raisebox{0.6ex}{$\scriptstyle\land\,$}}1
-  {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1
-  {'}{\ttfamily'\!}1
+  {^}{\raisebox{0.6ex}{\(\scriptstyle\land\,\)}}1
+  {~}{\raisebox{0.3ex}{\(\scriptstyle\sim\,\)}}1
+  {'}{\ttfamily'\hspace*{-0.4ex}}1
   {`}{\ttfamily\upshape\hspace*{-0.3ex}`}1
   {<-}{$\leftarrow$}2