🔍

Chargement des symboles…

››

⧴

Symbole de règle différée

Symbole de règle différée

⧴ marque une règle différée : son expression de droite est évaluée lorsque la règle est appliquée. Dans Wolfram Language, l’opération s’appelle <code>RuleDelayed</code> et s’écrit <code>:></code> ; ce signe relève de la notation technique.

Symbole textuel

Aussi appelé: flèche droite précédée de deux-points
Recherchez-le comme: RuleDelayed · :> · règle différée · Wolfram Language
Apparaît dans: Tout champ acceptant du texte · sa forme dépend de la police

Que signifie ⧴

Il retarde l’évaluation de l’expression à droite de la règle. Dans Wolfram Language, l’opération RuleDelayed s’écrit :>. L’expression est évaluée lorsque la règle est appliquée, et non lorsqu’elle est définie. ⧴ est un caractère distinct ; un logiciel peut donc ne pas l’accepter à la place de :>.

L’histoire documentée de cette fonctionnalité du langage remonte à 1988.

Notation technique, que les programmeurs reconnaîtront peut-être.

Ne supposez pas qu’un analyseur accepte ⧴ à la place de `:>`.

Ne pas le confondre avec

→

Flèche vers la droite

⧴ n’est pas la même chose que → : la flèche simple indique une direction ou une implication ; ⧴ marque une règle différée dans une notation qui la définit.

Questions fréquentes

Puis-je utiliser ⧴ à la place de `:>` ?

Pas sans vérifier. L’opérateur de Wolfram Language est `:>` ; ⧴ est un caractère distinct et un analyseur peut exiger cette écriture.

Pourquoi ⧴ s’affiche-t-il sous forme de carré ?

Si la police active ne contient pas ⧴, la police de remplacement peut afficher un autre glyphe ou un carré indiquant un caractère manquant.

Comment saisir ⧴

Windows (Word)

Alt+XSaisissez 29F4, puis Alt+X pour obtenir ⧴.

Windows

Win+RLancez charmap pour la table complète ou utilisez l’onglet Ω du sélecteur d’emojis (Win + .).

macOS

Control+Command+SpaceOuvrez le visualiseur de caractères et cherchez « rule-delayed ».

Linux

Ctrl+Shift+USaisissez 29f4, puis Entrée ou Espace.

HTML

⧴

CSS

\29F4

Codes et encodagePoints de code : 1

HTML décimal

⧴

HTML hexadécimal

⧴

Contenu CSS

content: "\29F4";

Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.

Encodage URL

%E2%A7%B4

À l’écran

Points de code

JS .length

Octets UTF-8

Un symbole visible peut contenir plusieurs points de code. JS .length compte les unités UTF-16 ; UTF-8 compte les octets.

Groupes de ce symbole

Mathématiques et nombres1 835 symboles

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣