2021-06-01 23:00:21 +02:00
|
|
|
\documentclass{article}
|
2021-07-04 03:17:18 +02:00
|
|
|
\usepackage{amsmath}
|
2021-10-31 16:06:29 +01:00
|
|
|
\usepackage{luamml-demo}
|
2021-06-01 23:17:29 +02:00
|
|
|
|
2021-06-01 23:00:21 +02:00
|
|
|
\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}
|
|
|
|
|
|
