Wie kann ich den Befehl \mathds in Abhängigkeit vom übergebenen Argument umdefinieren?

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
\documentclass[12pt]{beamer}
\usepackage{libertine}
\usepackage[libertine,liby,slantedGreek]{newtxmath}
\usepackage{dsfont}
\usepackage{etoolbox,letltxmacro}
%\show\mathds
\LetLtxMacro\savedmathds\mathds
\newcommand*\vdssets{}
\forcsvlist{\listadd\vdssets}{N,Q,R}
\DeclareRobustCommand*\mathds[1]{%
  \ifinlist{#1}{\vdssets}
    {\savedmathds{#1}\relax}
    {#1}%
}
\begin{document}
\[
   %\expandafter\show\csname mathds \endcsname
   1\in \mathds{N} \subset \mathds{Z}  \subset \mathds{Q} \subset \mathds{R} 
\]
\end{document}
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Die robuste Deklaration ist auch deshalb sinnvoll, weil der Befehl zuvor bereits robust war, und erst durch die Umdefinierung mit \renewcommand zerbrechlich wird. Dass er robust war, kann man erkennen, wenn man die oben auskommentierte Zeile \show\mathds reaktiviert. Dann erhält man in der log-Datei die Ausgabe:

1
2
3
> \mathds=macro:
->\protect \mathds  .
l.7 \show\mathds
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Allerdings genügt in diesem Fall auch das nicht. \mathds wird nämlich als Mathe-Alphabeth deklariert. Das führt dazu, dass \mathds (das innere mit dem Leerzeichen am Ende) erst mit dem Laden der Schrift endgültig definiert wird. Man sieht das, indem man die oben auskommentierte Zeile \expandafter\show\csname mathds \endcsname reaktiviert. Die Ausgabe zeigt dann nicht die erwartete neue Definition von \mathds, sondern \select@group \mathds \M@U \U/dsrom/m/n, eine typische Definition für ein Mathe-Alphabet.

Wir müssen nun also zusätzlich dafür sorgen, dass die Umdefinierung erst dann aktiv wird, wenn die Schrift bereits geladen wurde. Die Schrift wird spätestens dann geladen, wenn sie das erste Mal verwendet wird. Um genau dafür zu sorgen, können wir beispielsweise mit \savebox eine Box definieren, die einen beliebigen \mathds-Aufruf enthält. Diese Box können wir danach wieder vergessen, also ist es sinnvoll eine der temporären Boxen von LaTeX dafür zu verwenden, beispielsweise \@tempboxa. Da das Schriftsystem von LaTeX außerdem aber erst innerhalb von \begin{document} endgültig initialisiert wird, ist es sinnvoll, diesen Vorgang mit \AtBeginDocument so lange zu verzögern. Es ergibt sich dann beispielsweise:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
\documentclass[12pt]{beamer}
\usepackage{libertine}
\usepackage[libertine,liby,slantedGreek]{newtxmath}
\usepackage{dsfont}
\usepackage{etoolbox,letltxmacro}
% \show\mathds% Erkennung von \protect-Definition
% \expandafter\show\csname mathds \endcsname% Erkennung der eigentlichen Definition
\newcommand*\vdssets{}
\forcsvlist{\listadd\vdssets}{N,Q,R}
\makeatletter
\AtBeginDocument{% warten bis LaTeX das Font-System initialisiert hat
  \sbox\@tempboxa{$\mathds{}$}% Schrift laden und damit \mathds endgültig definieren
  \LetLtxMacro\savedmathds\mathds% Definition übernehmen
  \DeclareRobustCommand*{\mathds}[1]{% neu (und erneut robust) definieren
    \ifinlist{#1}{\vdssets}%
      {\savedmathds{#1}}%
      {#1}%
  }
}
\makeatother
\begin{document}
\[ 
% \expandafter\show\csname mathds \endcsname% Erneute Erkennung der eigentlichen Definition
  1\in \mathds{N} \subset \mathds{Z}  \subset \mathds{Q} \subset \mathds{R} 
\]
\end{document}
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX