Cosa significa ∌
A ∌ x significa che x non è un elemento di A. Prima si scrive l’insieme, poi l’oggetto da verificare. Se A = {1, 2, 3}, allora A ∌ 4 è vero. È un’affermazione sull’appartenenza, non sui sottoinsiemi.
La notazione di appartenenza ha radici nel XIX secolo. In opere pubblicate nel 1889, Giuseppe Peano usò un segno epsilon per indicare l’appartenenza, come abbreviazione della parola latina est («è»). In un libro di teoria degli insiemi del 1939, il gruppo Bourbaki — un gruppo di matematici che pubblicava con un nome comune — usò un segno di appartenenza negata. Sono tappe della famiglia di notazioni a cui appartiene ∌.
Una scelta formale nella notazione degli insiemi: il segno mette l’insieme per primo quando nega l’appartenenza.
Non usare ∌ per dire che un insieme non è un sottoinsieme di un altro.
Non confonderlo con
1Come digitare ∌
∌\220CCodici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.