Unicode Character "∷" (U+2237)

The character ∷ (Proportion) is represented by the Unicode codepoint U+2237. It is encoded in the Mathematical Operators block, which belongs to the Basic Multilingual Plane. It was added to Unicode in version 1.1 (June, 1993). It is HTML encoded as ∷.

Main Unicode Properties

Name Proportion
Unicode Codepoint U+2237
Unicode Version 1.1 (June, 1993)
Block Mathematical Operators
Plane Basic Multilingual Plane

Bidirectional Data

Bidirectional class Other Neutral (ON)
Is mirrored? No

Other Unicode Data

Category Math Symbol
Script Code for undetermined script
Combining Class Not Reordered

U+2237 Conversion

HTML (decimal) ∷
HTML (hex) ∷
HTML (named) ∷
URL Escape Code %E2%88%B7
CSS \002237
JavaScript, JSON \u2237
C, C++, Java \u2237
Python \u2237
Rust \u{2237}
Ruby \u2237

How to type "∷"

  • Windows ?: Hold Alt, then type 2 2 3 7. Release Alt.
  • Mac ?: Hold Alt ⌥, then type 2 2 3 7. Release Alt.

Preview

  • ∷
    Times, Times New Roman, serif
  • ∷
    Helvetica, Arial, sans-serif
  • ∷
    Courier, Courier New, monospace

UTF Encodings

UTF-8 (hex) 0xE2 0x88 0xB7
UTF-16 (hex) 0x2237
UTF-32 (hex) 0x00002237

References