fsymbols
🔍
Завантаження символів…
››
⧴

Символ відкладеного правила

Символ відкладеного правила

⧴ позначає відкладене правило: вираз праворуч обчислюється під час застосування правила. У Wolfram Language ця операція має назву <code>RuleDelayed</code> і записується як <code>:></code>; символ використовують у технічній нотації.

Текстовий символ
Також називають
двокрапка зі стрілкою праворуч
Шукайте як
RuleDelayed · :> · відкладене правило · Wolfram Language
Використовується в
У будь-якому текстовому полі · його вигляд залежить від шрифту

Що означає ⧴

Воно відкладає обчислення виразу праворуч від правила. У Wolfram Language RuleDelayed записують як :>. Вираз обчислюється під час застосування правила, а не під час його визначення. ⧴ — окремий символ, тож програма може не прийняти його замість :>.

Задокументована історія цієї мовної функції сягає 1988 року.

Технічна нотація, яку програмісти можуть упізнати.

Не припускайте, що аналізатор прийме ⧴ замість `:>`.

Не плутайте з

1
→
Стрілка праворуч
⧴ — не те саме, що →: звичайна стрілка праворуч указує напрямок або логічний наслідок, а ⧴ позначає відкладене правило в нотації, яка його визначає.

Запитання користувачів

2

Чи можна використовувати ⧴ замість `:>`?

Не варто цього припускати. Оператор у Wolfram Language записують як `:>`; ⧴ — окремий символ, і аналізатор може вимагати саме такого написання.

Чому ⧴ відображається квадратом?

Якщо в активному шрифті немає ⧴, підстановка може показати інший знак або квадрат, що позначає відсутній символ.

Як набрати ⧴

Windows (Word)
Alt+XВведіть 29F4, потім натисніть Alt+X, щоб отримати ⧴.
Windows
Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win + .).
macOS
Control+Command+SpaceВідкрийте переглядач символів і знайдіть «rule-delayed».
Linux
Ctrl+Shift+UВведіть 29f4, потім натисніть Enter або пробіл.
HTML
&#x29F4;
CSS
\29F4
Коди й кодуванняКодових точок: 1
HTML десятковий
&#10740;
HTML шістнадцятковий
&#x29F4;
Вміст CSS
content: "\29F4";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%A7%B4
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8

Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.

Групи цього символу

1

Математика й числаСимволів: 1 835

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