Dvorak layout augmented with Set Theory and Algebra symbols

us

partial alphanumeric_keys
xkb_symbols "dvorak" {

    name[Group1]= "English (Dvorak)";

    key <TLDE> { [       grave,	asciitilde, dead_grave, dead_tilde	] };

    key <AE01> { [	    1,	exclam 		]	};
    key <AE02> { [	    2,	at		]	};
    key <AE03> { [	    3,	numbersign, U03C0	]	};
    key <AE04> { [	    4,	dollar, U20AA		]	};
    key <AE05> { [	    5,	percent		]	};
    key <AE06> { [	    6,	asciicircum, dead_circumflex, dead_circumflex ]	};
    key <AE07> { [	    7,	ampersand	]	};
    key <AE08> { [	    8,	asterisk	]	};
    key <AE09> { [	    9,	parenleft,  dead_grave]	};
    key <AE10> { [	    0,	parenright	]	};
    key <AE11> { [ bracketleft,	braceleft	]	};
    key <AE12> { [ bracketright, braceright,  dead_tilde] };

    key <AD01> { [  apostrophe,	quotedbl, U21D4, dead_diaeresis	] };
    key <AD02> { [	comma,	less,   dead_cedilla, dead_caron	] };
    key <AD03> { [      period,	greater, U21D2, periodcentered	] };
    key <AD04> { [	    p,	P, U220F		]	};
    key <AD05> { [	    y,	Y, U228B, U2287		]	};
    key <AD06> { [	    f,	F		]	};
    key <AD07> { [	    g,	G		]	};
    key <AD08> { [	    c,	C, U2102		]	};
    key <AD09> { [	    r,	R, U211D		]	};
    key <AD10> { [	    l,	L, U2208, U2209		]	};
    key <AD11> { [	slash,	question	]	};
    key <AD12> { [	equal,	plus, U2260, U2248		]	};

    key <AC01> { [	    a,	A, U2200, U1D538		]	};
    key <AC02> { [	    o,	O, U1D4AA		]	};
    key <AC03> { [	    e,	E, U2203, U2204		]	};
    key <AC04> { [	    u,	U, U228A, U2286		]	};
    key <AC05> { [	    i,	I, U222B		]	};
    key <AC06> { [	    d,	D		]	};
    key <AC07> { [	    h,	H		]	};
    key <AC08> { [	    t,	T		]	};
    key <AC09> { [	    n,	N		]	};
    key <AC10> { [	    s,	S, U2211		]	};
    key <AC11> { [	minus,	underscore	]	};

    key <AB01> { [   semicolon,	colon, dead_ogonek, dead_doubleacute ] };
    key <AB02> { [	    q,	Q, U211A		]	};
    key <AB03> { [	    j,	J, U220B, U220C		]	};
    key <AB04> { [	    k,	K		]	};
    key <AB05> { [	    x,	X, U2A2F		]	};
    key <AB06> { [	    b,	B		]	};
    key <AB07> { [	    m,	M		]	};
    key <AB08> { [	    w,	W		]	};
    key <AB09> { [	    v,	V		]	};
    key <AB10> { [	    z,	Z, U2124		]	};

    key <BKSL> { [  backslash,  bar             ]       };
};