2009年12月15日火曜日

GoogleドキュメントのTeXによる数式入力の練習。

Sがコンパクトである。
\forall U(set)\forall M\in U\\
\exists U'\subset U\\
(M\subset S\wedge\bigcup\ U=S\\
\wedge U\subset O)
[(card\ U'<\aleph_{0})\\
\wedge \forall M'\in U'\\
(M'\in O)]

0 コメント:

コメントを投稿