// $HeadURL$
// $Date$
// $Author$

module dstress.run.named_entity_02;

// "-//W3C//ENTITIES Symbolic//EN//HTML"

int main(){
        assert('\ƒ'==402);
        assert('\Α'==913);
        assert('\Β'==914);
        assert('\Γ'==915);
        assert('\Δ'==916);
        assert('\Ε'==917);
        assert('\Ζ'==918);
        assert('\Η'==919);
        assert('\Θ'==920);
        assert('\Ι'==921);
        assert('\Κ'==922);
        assert('\Λ'==923);
        assert('\Μ'==924);
        assert('\Ν'==925);
        assert('\Ξ'==926);
        assert('\Ο'==927);
        assert('\Π'==928);
        assert('\Ρ'==929);
        assert('\Σ'==931);
        assert('\Τ'==932);
        assert('\Υ'==933);
        assert('\Φ'==934);
        assert('\Χ'==935);
        assert('\Ψ'==936);
        assert('\Ω'==937);
        assert('\α'==945);
        assert('\β'==946);
        assert('\γ'==947);
        assert('\δ'==948);
        assert('\ε'==949);
        assert('\ζ'==950);
        assert('\η'==951);
        assert('\θ'==952);
        assert('\ι'==953);
        assert('\κ'==954);
        assert('\λ'==955);
        assert('\μ'==956);
        assert('\ν'==957);
        assert('\ξ'==958);
        assert('\ο'==959);
        assert('\π'==960);
        assert('\ρ'==961);
        assert('\ς'==962);
        assert('\σ'==963);
        assert('\τ'==964);
        assert('\υ'==965);
        assert('\φ'==966);
        assert('\χ'==967);
        assert('\ψ'==968);
        assert('\ω'==969);
        assert('\ϑ'==977);
        assert('\ϒ'==978);
        assert('\ϖ'==982);
        assert('\•'==8226);
        assert('\…'==8230);
        assert('\′'==8242);
        assert('\″'==8243);
        assert('\‾'==8254);
        assert('\⁄'==8260);
        assert('\℘'==8472);
        assert('\ℑ'==8465);
        assert('\ℜ'==8476);
        assert('\™'==8482);
        assert('\ℵ'==8501);
        assert('\←'==8592);
        assert('\↑'==8593);
        assert('\→'==8594);
        assert('\↓'==8595);
        assert('\↔'==8596);
        assert('\↵'==8629);
        assert('\⇐'==8656);
        assert('\⇑'==8657);
        assert('\⇒'==8658);
        assert('\⇓'==8659);
        assert('\⇔'==8660);
        assert('\∀'==8704);
        assert('\∂'==8706);
        assert('\∃'==8707);
        assert('\∅'==8709);
        assert('\∇'==8711);
        assert('\∈'==8712);
        assert('\∉'==8713);
        assert('\∋'==8715);
        assert('\∏'==8719);
        assert('\∑'==8721);
        assert('\−'==8722);
        assert('\∗'==8727);
        assert('\√'==8730);
        assert('\∝'==8733);
        assert('\∞'==8734);
        assert('\∠'==8736);
        assert('\∧'==8743);
        assert('\∨'==8744);
        assert('\∩'==8745);
        assert('\∪'==8746);
        assert('\∫'==8747);
        assert('\∴'==8756);
        assert('\∼'==8764);
        assert('\≅'==8773);
        assert('\≈'==8776);
        assert('\≠'==8800);
        assert('\≡'==8801);
        assert('\≤'==8804);
        assert('\≥'==8805);
        assert('\⊂'==8834);
        assert('\⊃'==8835);
        assert('\⊄'==8836);
        assert('\⊆'==8838);
        assert('\⊇'==8839);
        assert('\⊕'==8853);
        assert('\⊗'==8855);
        assert('\⊥'==8869);
        assert('\⋅'==8901);
        assert('\⌈'==8968);
        assert('\⌉'==8969);
        assert('\⌊'==8970);
        assert('\⌋'==8971);
        //assert('\⟨'==9001); // U+2329 valid for HTML 4.01; changed in HTML5
        //assert('\⟩'==9002); // U+232A valid for HTML 4.01; changed in HTML5
    assert('\⟨'==0x27E8); // valid for HTML 5 and later. The character was introduced in HTML 3.2
    assert('\⟩'==0x27E9); // valid for HTML 5 and later. The character was introduced in HTML 3.2
        assert('\◊'==9674);
        assert('\♠'==9824);
        assert('\♣'==9827);
        assert('\♥'==9829);
        assert('\♦'==9830);
        return 0;
}

// https://issues.dlang.org/show_bug.cgi?id=5221
static assert('\✓'==10003);
static assert('\≲'==8818);
static assert('\№'==8470);
static assert('\⌝'==8989);
static assert('\Ż'==379);