∝ Name ∝ Html Hex Ýd; Html Dec ∝ CSS Entity \221d; Unicode Hex U+221d; Unicode Escape \u221d;