User:Edwin Shade/Sandbox

\(\Rule{1.5ex}{100px}{0px}\blacksquare\)

\(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{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\moveleft117.5pt{\lower30pt {\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}}}\moveleft235pt{\lower60pt {\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}}}\moveleft352.5pt{\lower89.5pt {\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}\color{#FFFF00}{\Rule{50px}{6ex}{1ex}}}}\)

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