Wat betekent ⫳
Het is de naam van de parallelle calculus van de auteurs. Ze schrijven de systeemnaam met ⫳ als kleine index onder λ (lambda). Het systeem verbindt bewijzen uit de lineaire logica — een manier om over het gebruik van middelen te redeneren — met computerprogramma’s die parallel kunnen draaien en communiceren. Hier verwijst het teken naar dat systeem; het geeft niet voor elke vergelijking een regel voor parallelle samenstelling.
Verwante tekens
2
Evenwijdig aan
De naam parallel met tilde verbindt ⫳ met het parallelteken met twee strepen ∥. De toegevoegde tilde maakt er een ander teken van; de definitie van de auteur bepaalt de betekenis in een vergelijking.
Tilde-operator
De tilde-operator ∼ is het andere benoemde onderdeel van ⫳. In dit teken staat hij samen met de parallelle strepen; de vorm alleen bepaalt de betekenis van het geheel niet.
Meer zoals dit
10
⫳ typen of vinden
- Zoek als
- parsim · ⫳ betekenis · ⫳ in de logica
- Komt voor in
- Elk tekstveld · de vorm hangt af van je lettertype
Windows (Word)
Windows
HTML
⫳CSS
\2AF3MathML 2-broncode
Schrijf in MathML 2-markup met de standaardentiteiten voor symbolen
⫳.Codes en coderingCodepunten: 1
HTML decimaal
⫳
HTML hexadecimaal
⫳
CSS-inhoud
content: "\2AF3";
Elke escape eindigt bij de volgende backslash; vóór een letterlijk hexadecimaal cijfer is een spatie nodig.
URL-gecodeerd
%E2%AB%B3
1
Op het scherm
1
Codepunten
1
JS .length
3
UTF-8-bytes
Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.