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

Довга подвійна стрілка ліворуч

Довга подвійна стрілка ліворуч

9/16

⟸ у формальній логіці означає «випливає з»: твердження праворуч зумовлює твердження ліворуч. У математичній нотації Unicode закріплює довгі стрілки за відображеннями, на відміну від коротких стрілок, притаманних границям.

Текстовий символ

Що означає ⟸

Позначає зворотну імплікацію: твердження праворуч тягне за собою твердження ліворуч. Запис A ⟸ B означає: якщо істинне B, то обов'язково істинним є і A. Це протилежний напрямок до звичайної стрілки вправо (A B).

Unicode стандартизує ⟸ та інші довгі стрілки саме для позначення математичних відображень, відокремлюючи їх від коротших форм на кшталт , поширених у границях і компактному рядковому тексті. Довгий стрижень забезпечує чітке візуальне розмежування між широкими виразами.

Входить до добірки

Що означає, коли хтось надсилає вам цей символ

Тлумачень: 2

Твердження праворуч тягне за собою твердження ліворуч.

Не плутайте з

3

Ідеї комбінацій

1
A випливає з B (якщо B істинне, то A істинне).

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

2

Чим відрізняється ⟸ від ?

У логіці вони можуть позначати однакове відношення імплікації. Unicode розрізняє їх за призначенням: довгі стрілки на зразок ⟸ закріплені за відображеннями, тоді як короткі стрілки на кшталт трапляються біля границь.

Чому MathML класифікує ⟸ як розтяжний оператор?

Це дає змогу програмам верстання автоматично розтягувати стрижень стрілки під ширину підписів над або під нею.

Як набрати чи знайти ⟸

Також називають
Довга ліва подвійна стрілка · Символ зворотної імплікації · Випливає з
Шукайте як
імплікація · зворотна імплікація · подвійна стрілка · довга стрілка ліворуч · математична логіка · Longleftarrow
Використовується в
У будь-якому текстовому полі · його вигляд залежить від шрифту
Windows (Word)
⎇Alt+XВведіть 27F8, потім натисніть AltX, щоб отримати ⟸.
Windows
⊞Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win .).
macOS
⌃Control+⌘Command+␣SpaceВідкрийте переглядач символів і знайдіть «long leftwards double arrow».
Linux
⎈Ctrl+⇧Shift+UВведіть 27f8, потім натисніть Enter або пробіл.
HTML
⟸
CSS
\27F8
Unicode шістнадцятковий (Windows)
Введіть 2 7 F 8 і натисніть AltX у підтримуваних програмах.
LaTeX
Введіть \Longleftarrow у математичному режимі.
Linux (GTK / GNOME)
Натисніть CtrlShiftU, введіть 27F8 і натисніть Enter.
Коди й кодуванняКодових точок: 1
HTML десятковий
⟸
HTML шістнадцятковий
⟸
Вміст CSS
content: "\27F8";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%9F%B8
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8

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

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

1

Стрілки й напрямкиСимволів: 696