Commit 8e6e65af authored by Michael Kohlhase's avatar Michael Kohlhase

approxeq

parent f04af244
\begin{mhmodnl}[creators=miko]{approxeq}{de}
\begin{definition}
Wir nennen zwei mathematische Objekte $a$ and $b$
\defii[name=approximately-equal]{ann"ahrend}{gleich}, (schreibe $\approxeq{a,b}$), wenn die
\defii[name=approximately-equal]{ann"ahrend}{gleich}, (schreibe $\approxequal{a,b}$), wenn die
einzigen Eigenschaften, die sie auseinanderhalten, weniger relevant sind in der
aktuellen Situation.
\end{definition}
......
\begin{mhmodnl}[creators=miko]{approxeq}{en}
\begin{definition}
We call two mathematical objects $a$ and $b$ \defii{approximately}{equal}, (written
$\approxeq{a,b}$), iff they are discerned only by properties of less relevance in the
$\approxequal{a,b}$), iff they are discerned only by properties of less relevance in the
current situation.
\end{definition}
\end{mhmodnl}
......
\begin{modsig}[creators=miko]{approxeq}
\symdef[name=approximately-equal,gfc=N2]{approxeqOp}{\mathord\sim}
\symdef[name=approximately-equal,assocarg=1]{approxeq}[1]{\assoc[p=300]\approxeqOp{#1}}
\symtest{approxeq}{\approxeq{1,1}}
\symdef[name=approximately-equal,gfc=N2]{approxequalOp}{\mathord\simeq}
\symdef[name=approximately-equal,assocarg=1]{approxequal}[1]{\assoc[p=300]\approxequalOp{#1}}
\symtest{approxequal}{\approxequal{1,1}}
\end{modsig}
%%% Local Variables:
%%% mode: LaTeX
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment