Character Encoding
UTF-8
0xE20x880xB7
UTF-16
0x2237
UTF-32
0x00002237
Copy & Paste Codes
Unicode Escape
\u{2237}
HTML Entity (Decimal)
∷
HTML Entity (Hex)
∷
CSS Code
\2237
JavaScript/JSON
String.fromCodePoint(0x2237)
Python
chr(0x2237)
Ruby/PHP
chr(0x2237)
Unix, C, PHP, JAVA
0x2237
Perl
chr(0x2237)
URL Encoded
%2237