\[ \def\RR{{\bf R}} \def\bold#1{{\bf #1}} \]

Test after workflow

Theorem 1 (Line) There exist a non-Archimedean valuation \(v: \mathbb{R} \rightarrow \{0\} \cup G\) with values in an ordered abelian group \(G\) such that \(v\left(\frac{1}{2}\right) > 1\).

Proof. By induction.

Test333

See Theorem 1.

WarningCross-Referencing a Tip

Yes! or No Maybe!