fsymbols
Ładowanie symboli…
››
⫝̸

Znak zależności

Znak zależności

221/256

⫝̸ oznacza „brak niezależności”: wskazuje relację zależności w logice matematycznej. Teoria modeli posługuje się także pokrewnym pojęciem forkowania, wprowadzonym przez S. Shelaha; odpowiadający mu znak oznacza nieforkowanie, czyli niezależność.

Symbol tekstowy

Co oznacza ⫝̸

Oznacza zależność: powiązane obiekty nie są niezależne.

W teorii modeli forkowanie oznacza szczególną zależność między obiektami matematycznymi lub ich typami, czyli zbiorami zdań opisujących możliwe zachowanie. To pojęcie wprowadził S. Shelah.

Unicode przypisuje ⫝̸ logice równań (rozumowaniu o równaniach) i objaśnia je jako „brak niezależności”.

Dlaczego ⫝̸ wydaje się mieć odwrotne znaczenie niż ?

Ten nieintuicyjny układ sprawdzono i zachowano.

W 2001 roku w uwadze do normy wskazano, że ⫝̸ i wyglądają na zamienione miejscami. Redaktorzy zachowali ten układ po potwierdzeniu go przez matematyków uczestniczących w opracowaniu znaków.

Unicode kanonicznie rozkłada ⫝̸ na : po następuje łączący znak ukośnika. Normalizacja może ujawnić tę dwu­częściową sekwencję, która nadal reprezentuje jeden znak.

Nie myl z

1

Jak wpisać lub znaleźć ⫝̸

Szukaj jako
brak niezależności · nieforkowanie · relacja niezależności · relacja forkowania · zapis logiczny
Pojawia się w
Każde pole tekstowe · kształt zależy od czcionki
Windows (Word)
⎇Alt+XWpisz 2ADC, a następnie naciśnij AltX, aby uzyskać ⫝̸.
Windows
⊞Win+RUruchom charmap, aby zobaczyć pełną tabelę, lub użyj karty Ω panelu emoji (Win .).
macOS
⌃Control+⌘Command+␣SpaceOtwórz podgląd znaków i wyszukaj „forking”.
Linux
⎈Ctrl+⇧Shift+UWpisz 2adc, a następnie naciśnij Enter lub Spację.
HTML
⫝̸
CSS
\2ADC
Kody i kodowaniePunkty kodowe: 1
HTML dziesiętnie
⫝̸
HTML szesnastkowo
⫝̸
Treść CSS
content: "\2ADC";
Sekwencja ucieczki kończy się przy następnym ukośniku odwrotnym; przed dosłowną cyfrą szesnastkową potrzebna jest spacja.
Kodowanie URL
%E2%AB%9C
1
Na ekranie
1
Punkty kodowe
1
JS .length
3
Bajty UTF-8

Widoczny symbol może zawierać kilka punktów kodowych. JS .length liczy jednostki UTF-16, a UTF-8 liczy bajty.

Grupy tego symbolu

1

Matematyka i liczbyLiczba symboli: 1835