marnix/calc-env.md

## calc-env.md

      
    Raw
  

              calc-env.md
            
          
    $%
\require{begingroup}
\begingroup
\newcommand{\calc}{\begin{align} \quad &}
\newcommand{\op}[1]{\ #1 \quad & \quad \unicode{x201c}}
\newcommand{\hints}[1]{\mbox{#1} \ \quad & \quad \phantom{\unicode{x201c}} }
\newcommand{\hint}[1]{\mbox{#1} \unicode{x201d} \ \quad & }
\newcommand{\endcalc}{\end{align}}
\newcommand{\subcalch}[1]{\ \quad & \quad #1 \ \quad &}
\newcommand{\subcalc}{\quad \begin{aligned} \quad & \ \bullet \quad & }
\newcommand{\endsubcalc}{\end{aligned} \ \ \cdot \quad &}
\newcommand{\Ref}[1]{\text{(#1)}}
\newcommand{\then}{\Rightarrow}
\newcommand{\when}{\Leftarrow}
%$
Example:
$$\calc
1 + 2
\op>
\hints{order on $;\mathbb Z;$, using axiom $\Ref A$}
\hints{-- this seems one of the}
\hint{simplest things to try}
0 + 2
\op=\hint{\Ref {E}}
0
\endcalc$$
$%
\endgroup
%$