@@ -368,18 +368,18 @@ contains a basis. \\ac{Halpern} \\cite{1966}.
...
@@ -368,18 +368,18 @@ contains a basis. \\ac{Halpern} \\cite{1966}.
")))
")))
(defunformsnum-test-result()
(defunformsnum-test-result()
'((("0."" $0 = 0$. "NIL)
'((("0.""$0 = 0$."NIL)
("[0 A]"
("[0 A]"
" Cardinal successors 2: For n)$. "
"Cardinal successors 2: For n)$."
"\\ac{Tarski} \\cite{1954a} and \\ac{Jech} \\cite{1966a}.")
"\\ac{Tarski} \\cite{1954a} and \\ac{Jech} \\cite{1966a}.")
("[0 AK]"
("[0 AK]"
" Every separable metric space is second countable. "
"Every separable metric space is second countable."
NIL))
NIL))
(("1."
(("1."
" $C(\\infty,\\infty)$: The Axiom of Choice: Every set of non-empty sets has a choice function. \\rightheadtext{Form 1: The Axiom of Choice} \\iput{axiom of choice} "
"$C(\\infty,\\infty)$: The Axiom of Choice: Every set of non-empty sets has a choice function. \\rightheadtext{Form 1: The Axiom of Choice} \\iput{axiom of choice}"
NIL)
NIL)
("[1 A]"
("[1 A]"
" In every vector space, every generating set contains a basis. "
"In every vector space, every generating set contains a basis."