"∝" U+221D(PROPORTIONAL TO) Carácter Unicode

char c = '\u221D';
printf("%c\n", c);  // Output: ∝

JavaScript:

const char = '\u221D';
console.log(char);  // Output: ∝

Java:

char c = '\u221D';
System.out.println(c);  // Output: ∝

JSON:

{"text": "\u221D"}  // Value: ∝

Python:

char = '\u221D'
print(char)  # Output: ∝

Perl:

my $char = "\x{221D}";
print $char;  # Output: ∝

PHP:

$char = "\x{221D}";
echo $char;  // Output: ∝

Ruby:

char = "\u{221D}"
puts char  # Output: ∝

Rust:

let c = '\u{221D}';
println!("{}", c);  // Output: ∝

Go:

char := '\u221D'
fmt.Printf("%c\n", char)  // Output: ∝

CSS:

/* CSS content property */
.element::before {
content: "\00221D";  /* Display: ∝ */
}

HTML Decimal:

<p>HTML decimal: &#8733;</p>  <!-- Display: ∝ -->

HTML Hexadecimal:

<p>HTML hex: &#x221D;</p>  <!-- Display: ∝ -->

URL Encoding:

// ∝ URL encoding
https://unicodefinder.com/search.php?query=%E2%88%9D

MD5:

bc320e13e0c3d806a35913fe6810ce31

SHA1:

1e56e174c6f271737c0d4999e7a3a91e099f7766

Base64:

4oid

"∝" U+221D(PROPORTIONAL TO)