HTML character: ∝ = ∝

«proportional to»

  • Fonts: italic: ∝ • bold: ∝ • code: ∝ • serif: ∝ • sans-serif: ∝ • fixed: ∝
  • HTML-encoded: ∝
  • Unicode codepoint: ∝
  • Unicode hexadecimal: U+221D
  • URL Encoded: %E2%88%9D
  • Related characters:
    ⊇ • ⊆ • ∼ • ‏ • ⊥ • ≠ • ‎ • ≤ • ≥ • ≅

Search for character description

Examples: arrows • greek letters • quotes • all HTML characters or just some random characters

HTML characters?

In HTML (and XML), there are 'character entity reference' that are used to represent non-ASCII characters. E.g. the character '→' can be encoded as →, to use in a non-Unicode-compatible text format. These characters will follow the style and size of your font.
For Emoji characters like 🥁 and 😆, check the Emoji character map.

References

  • Wikipedia