21 lines
389 B
Plaintext
21 lines
389 B
Plaintext
\documentclass{article}
|
|
\usepackage{amsmath}
|
|
\usepackage{luamml-demo}
|
|
|
|
\begin{document}
|
|
\[
|
|
\emptyset\models((p\Rightarrow q)\Rightarrow(q\Rightarrow r))\Rightarrow (p\Rightarrow (q\Rightarrow r))
|
|
\WriteoutFormula
|
|
\]
|
|
|
|
%\begin{align}
|
|
% abc&=def & e^{\mathrm{i}\pi}&=-1\\
|
|
% \Big(1+2&=3\Big)\\
|
|
% &4\\
|
|
% 5
|
|
%\end{align}
|
|
|
|
Es gilt $\sin(x)-\sin(x+2\pi)=0\WriteoutFormula$.
|
|
\end{document}
|
|
|