Ensemble des réels

Je définis l'ensemble des nombres réels comme ci-dessous. Faut-il prendre des précautions particulières pour une utilisation de cette notation en exposant et indice? Telle quelle, cette définition engendre des exposants et indices assez gros. L'utilisation de \mathbb sert à titre de comparaison uniquement.

Ouvrir dans l'éditeur Overleaf

1
2
3
4
5
6
7
8
\documentclass{article}
\usepackage{amssymb}
\def\nbR{\ensuremath{\mathrm{I\! R}}}
\begin{document}
$\mathbb{R}$, $\psi_\mathbb{R}$, $\psi^{\mathbb{R}}$
$\nbR$, $\psi_\nbR$, $\psi^\nbR$
\end{document}
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

alt text

D'ailleurs une police de type amssymb mais qui ressemblerait à l'ensemble défini dans l'exemple n'a-t-elle jamais été dessinée ?

police

Posée 18 Nov '18, 01:32

pluton
1.2k●2●29●37
Taux d'acceptation : 34%

Modifiée 18 Nov '18, 01:37

Si vous adoptez la notation à l'ancienne (Bourbaki), ce serait plutôt $mathbf{R}$. Le « gras de tableau » devrait être réservé aux… tableaux.

(18 Nov '18, 03:45) Bernard

Une réponse :

En cours Anciennes Récentes Populaires

Vous pouvez utiliser l'extension doublestroke. Il y a par défaut une version avec empattements, et une version sans, en option.

Exemple :

Ouvrir dans l'éditeur Overleaf

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
   \documentclass[12pt]{article}
    \usepackage{amssymb} 
    \usepackage{dsfont}
    \def\nbR{\ensuremath{\mathrm{I\! R}}}
    \DeclareMathAlphabet{\mathdsss}{U}{dsss}{m}{n}
    \begin{document}
    $\mathbb{R}$, $\psi_\mathbb{R}$, $\psi^{\mathbb{R}}$
    $\mathds{R}$, $\psi_\mathds{R}$, $\psi^{\mathds{R}}$
    $\mathdsss{R}$, $\psi_\mathdsss{R}$, $\psi^{\mathdsss{R}}$
    $\nbR$, $\psi_\nbR$, $\psi^\nbR$
    \end{document}
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX