Je commence
une page pour rassembler quelques caractères Unicode qui me
semblent manquer dans le Saint Standard et dont j'aimerais proposer
l'addition. (J'avais déjà il y a
longtemps essayé de suggérer l'addition d'un caractère N-ARY
RESTRICTED PRODUCT
, mais visiblement la personne à laquelle
j'avais transmis l'idée — et les preuves de son utilisation dans la
littérature mathématique — n'en a rien fait. Il faudra que je voie si
je peux trouver des contacts plus fiables.)
Après, ça risque d'être comme ce dont je parlais dans l'entrée précédente : pour faire bouger les choses, il faut se battre contre les Gardiens de la Loi, et ma motivation pour le faire n'est pas démesurée, surtout si je suis tout seul à mener le combat.