Comment taper Négation
Pour taper Négation (¬), tapez Alt + 0172 sous Windows, en maintenant Alt pendant que vous composez les chiffres au pavé numérique, ou tapez Option + L sur Mac, ou écrivez ¬ en HTML. Sur n'importe quel système vous pouvez le copier depuis cette page, ou saisir directement son point de code U+00AC : Ctrl+Maj+U puis 00ac sous Linux, ou 00ac puis Alt+X dans Microsoft Word.
Not Sign (nom Unicode, en anglais)
- Le copier
- Unicode
- U+00AC
- Windows
- Alt + 0172
| Où | Raccourci | Comment |
|---|---|---|
| Windows | Alt + 0172 | Maintenez Alt et composez le nombre au pavé numérique. |
| Mac | Option + L | Appuyez sur les touches ensemble. |
| HTML | ¬ | Collez ceci dans la source HTML. |
| Unicode | U+00AC | NOT SIGN |
Symboles apparentés à Négation
Ceux-ci sont classés sous not dans CLDR, la liste de mots-clés anglais qu'Unicode publie à côté des noms.
Autres symboles : mathématiques
¬ appartient au bloc Latin-1 Supplement (U+0080-U+00FF), les lettres accentuées et les signes courants dont les langues d'Europe occidentale avaient besoin. Unicode le classe comme Sm, un symbole mathématique. Un logiciel peut le composer avec l'espacement qu'attend un opérateur.
À quoi sert Négation
En notation mathématique, ¬ est un symbole ordinaire : il ne porte aucun espacement particulier et se place dans une expression comme le ferait une lettre : il représente une chose au lieu d'agir sur celles qui l'entourent. C'est la classification que lui donne unicode-math, et c'est elle qui décide de la composition du symbole : $\neg$ en LaTeX, en mode mathématique et non dans une phrase.
Unicode publie une seconde liste de noms pour ¬ dans CLDR : les mots-clés que proposent ses propres données de recherche plutôt que le nom formel, en l'occurrence non. C'est le mot que quelqu'un cherchant ce caractère est susceptible de taper quand Négation n'est pas le nom sous lequel il le connaît, et la recherche des listes de symboles le reconnaît aussi bien que le nom Unicode.
Ce qu'Unicode dit de Négation
La norme reconnaît aussi ¬ sous un autre nom : angled dash (in typography). C'est un alias formel et non un surnom, ce qui explique qu'on le rencontre dans la documentation d'autres personnes pour le même point de code.
La table de codes renvoie de ¬ vers reversed not sign (U+2310) et turned not sign (U+2319). Ce sont les caractères que la norme suppose que vous vouliez peut-être à la place, et donc ceux qu'il vaut la peine de vérifier quand Négation semble presque juste sans l'être tout à fait.
Comment Négation se comporte dans les logiciels
¬ occupe une colonne dans un terminal. Il ne porte aucune direction propre : dans une ligne qui mêle du français à de l'arabe ou de l'hébreu, il prend la direction du texte qui l'entoure au lieu d'en imposer une.
Toutes les façons d'écrire Négation
| Forme | Valeur |
|---|---|
| Point de code | U+00AC |
| Décimal | 172 |
| Octets UTF-8 | C2 AC |
| Octets UTF-16 | 00 AC |
| Entité HTML | ¬ |
| HTML numérique | ¬ ou ¬ |
| CSS | \00AC |
| JavaScript | \u00AC |
| Python | \u00AC |
| Encodé pour URL | %C2%AC |
| LaTeX, in prose | \textlnot (needs \usepackage{textcomp}) |
| LaTeX, in maths mode | $\neg$ |
| SVG | 00AC.svg · (licence SIL Open Font) |
Si ¬ vous arrive sous la forme ¬
C'est exactement ce caractère, intact : ses deux octets UTF-8 C2 AC sont lus un par un comme du Windows-1252. C'est dans la plage Latin-1 que cela arrive le plus, parce que c'est celle que tout système ancien croyait déjà gérer. Rien n'est perdu et retaper n'y changera rien : la correction se fait du côté de la lecture, à qui il faut dire que le texte est en UTF-8. Un rectangle vide est la plainte inverse : l'encodage est bon et c'est la police qui n'a aucun glyphe pour U+00AC.