User:Edwin Shade/Sandbox

\(1=\Omega^0\)

\(2=\Omega^0+\Omega^0\)

\(3=\Omega^0+\Omega^0+\Omega^0\)

\(\mathfrak{h}(0)=\omega\)

\(\color{#006600}{\Rule{6ex}{44px}{0px}}\raise13pt {\moveleft13pt {\color{#FFFF00}{\Rule{3ex}{22px}{0px}}}}\)

\(\color{#006600}{\Rule{6ex}{44px}{0px}}\raise13pt {\moveleft26pt {\color{#FFFF00}{\Rule{3ex}{22px}{0px}}}}\)

\(\color{#006600}{\Rule{6ex}{44px}{0px}}\raise0pt {\moveleft13pt {\color{#FFFF00}{\Rule{3ex}{22px}{0px}}}}\)

\(\color{#006600}{\Rule{6ex}{44px}{0px}}\raise0pt {\moveleft26pt {\color{#FFFF00}{\Rule{3ex}{22px}{0px}}}}\)

\(C(0)=\{0,\Omega\}\)

\(C(\alpha)=\{\gamma [\eta]\delta |(\gamma\wedge\eta\wedge\delta)\in C(\beta),\beta<\alpha\}\)

\(\mathfrak{H}(\alpha)=\text{The first ordinal not in }C(\alpha)\)

Art Grids In MathJax
1 by 1 Grid

\(\color{#FF0000}{\Rule{150px}{10ex}{10ex}}\)

\(\color{#FF0000}{\Rule{150px}{10ex}{10ex}}\)

2 by 2 Grid \(\color{#FFFF00}{\Rule{150px}{10ex}{10ex}}\color{#FF0000}{\Rule{150px}{10ex}{10ex}}\moveleft176pt {\lower86pt {\color{#FF0000}{\Rule{150px}{10ex}{10ex}}\color{#FFFF00}{\Rule{150px}{10ex}{10ex}}}}\)

\(\color{#FFFF00}{\Rule{150px}{10ex}{10ex}}\color{#FF0000}{\Rule{150px}{10ex}{10ex}}\moveleft175.5pt {\lower86pt {\color{#FF0000}{\Rule{150px}{10ex}{10ex}}\color{#FFFF00}{\Rule{150px}{10ex}{10ex}}}}\)

4 by 4 Grid

\(\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\moveleft117.5pt{\lower30pt {\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}}}\moveleft235pt{\lower60pt {\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}}}\moveleft352.5pt{\lower89.5pt {\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}}}\)

\(\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\moveleft117.5pt{\lower30pt {\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}}}\moveleft235pt{\lower60pt {\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}}}\moveleft352.5pt{\lower89.5pt {\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FF0000}{\Rule{50px}{6ex}{1ex}}}}\)