test-lexicon.tex « library - naproche-zf.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/library/test-lexicon.tex

blob: ced585e29152e98df5f07a5557636545603e7bcb (plain)

1
2
3

\begin{axiom}\label{ax1}
    If $x$ is even, then $x$ is even.
\end{axiom}