Line 5,474:
Line 5,474:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>\mathrm{w} ~=~ \mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime}</math>
+
| height="60" | <math>\mathrm{w} ~=~ \mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime}</math>
|}
|}
Line 5,480:
Line 5,480:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>\mathit{l}^\mathrm{w} ~=~ \mathit{l}^{(\mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime})} ~=~ (\mathit{l}\mathrm{W}^{\prime}), (\mathit{l}\mathrm{W}^{\prime\prime}), (\mathit{l}\mathrm{W}^{\prime\prime\prime}).</math>
+
| height="60" | <math>\mathit{l}^\mathrm{w} ~=~ \mathit{l}^{(\mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime})} ~=~ (\mathit{l}\mathrm{W}^{\prime}), (\mathit{l}\mathrm{W}^{\prime\prime}), (\mathit{l}\mathrm{W}^{\prime\prime\prime}).</math>
|}
|}
Line 5,488:
Line 5,488:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \operatorname{proj}_1 (L \star x) ~=~ \bigcap_{x \in W} L \cdot x</math>
+
| height="60" | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \operatorname{proj}_1 (L \star x) ~=~ \bigcap_{x \in W} L \cdot x</math>
|}
|}
Line 5,494:
Line 5,494:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>\mathrm{J} ~\text{loves}~ \mathrm{K} ~\Leftarrow~ \mathrm{K} ~\text{is a woman}</math>
+
| height="60" | <math>\mathrm{J} ~\text{loves}~ \mathrm{K} ~\Leftarrow~ \mathrm{K} ~\text{is a woman}</math>
|}
|}
Line 5,547:
Line 5,547:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x</math>
+
| height="60" | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x</math>
|}
|}
Line 5,553:
Line 5,553:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>(\mathfrak{L}^\mathfrak{W})_u ~=~ \prod_{x \in X} \mathfrak{L}_{ux}^{\mathfrak{W}_x}</math>
+
| height="60" | <math>(\mathfrak{L}^\mathfrak{W})_u ~=~ \prod_{x \in X} \mathfrak{L}_{ux}^{\mathfrak{W}_x}</math>
|}
|}
Line 5,595:
Line 5,595:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x ~=~ L \cdot d ~\cap~ L \cdot f ~=~ \{ c, e \} \cap \{ e, g \} ~=~ \{ e \}</math>
+
| height="60" | <math>\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x ~=~ L \cdot d ~\cap~ L \cdot f ~=~ \{ c, e \} \cap \{ e, g \} ~=~ \{ e \}</math>
|}
|}
Line 5,625:
Line 5,625:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>(\mathfrak{L}^\mathfrak{W})_e ~=~ \prod_{x \in X} \mathfrak{L}_{ex}^{\mathfrak{W}_x} ~=~ 0^0 \cdot 0^0 \cdot 0^0 \cdot 1^1 \cdot 1^0 \cdot 1^1 \cdot 0^0 \cdot 0^0 \cdot 0^0 ~=~ 1</math>
+
| height="60" | <math>(\mathfrak{L}^\mathfrak{W})_e ~=~ \prod_{x \in X} \mathfrak{L}_{ex}^{\mathfrak{W}_x} ~=~ 0^0 \cdot 0^0 \cdot 0^0 \cdot 1^1 \cdot 1^0 \cdot 1^1 \cdot 0^0 \cdot 0^0 \cdot 0^0 ~=~ 1</math>
|}
|}
Line 5,659:
Line 5,659:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>\mathit{s}^{(\mathit{l}\mathrm{w})} ~=~ \bigcap_{x \in LW} \operatorname{proj}_1 (S \star x) ~=~ \bigcap_{x \in LW} S \cdot x</math>
+
| height="60" | <math>\mathit{s}^{(\mathit{l}\mathrm{w})} ~=~ \bigcap_{x \in LW} \operatorname{proj}_1 (S \star x) ~=~ \bigcap_{x \in LW} S \cdot x</math>
|}
|}
Line 5,699:
Line 5,699:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>(\mathfrak{S}^\mathfrak{L})_{uv} ~=~ \prod_{x \in X} \mathfrak{S}_{ux}^{\mathfrak{L}_{xv}}</math>
+
| height="60" | <math>(\mathfrak{S}^\mathfrak{L})_{uv} ~=~ \prod_{x \in X} \mathfrak{S}_{ux}^{\mathfrak{L}_{xv}}</math>
|}
|}
Line 5,709:
Line 5,709:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>(\mathfrak{S}^\mathfrak{L})^\mathfrak{W} ~=~ \mathfrak{S}^{\mathfrak{L}\mathfrak{W}}</math>
+
| height="60" | <math>(\mathfrak{S}^\mathfrak{L})^\mathfrak{W} ~=~ \mathfrak{S}^{\mathfrak{L}\mathfrak{W}}</math>
|}
|}
Line 5,715:
Line 5,715:
{| align="center" cellspacing="6" width="90%"
{| align="center" cellspacing="6" width="90%"
−
| <math>((\mathfrak{S}^\mathfrak{L})^\mathfrak{W})_{uv} ~=~ (\mathfrak{S}^{\mathfrak{L}\mathfrak{W}})_{uv}</math>
+
| height="60" | <math>((\mathfrak{S}^\mathfrak{L})^\mathfrak{W})_{uv} ~=~ (\mathfrak{S}^{\mathfrak{L}\mathfrak{W}})_{uv}</math>
|}
|}