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