Please leave your message by clicking GetText(Edit) on the top/bottom of the page.

standard formula: If f is entire (holomorphic on latex2(\usepackage{dsfont} % $$\mathds{C}$$)) and without zeroes, for every closed curve latex2($$\gamma$$) the integral latex2($$\oint_\gamma \frac{f'(z)}{f(z)}dz$$) is zero.

This is a red square:

\usepackage{graphics,color}
%%end-prologue%%
\newsavebox{\mysquare}
\savebox{\mysquare}{\textcolor{blue}{\rule{1in}{1in} } }
\usebox{\mysquare}

This is a Z notation:

\usepackage{oz}
\setlength{\zedcornerheight}{0.2em}
%%end-prologue%%
\small
\begin{schema}{level2\_robot}
    \textbf{in~} x: \mathbb{B} \\
    \textbf{in~} feeling: \mathbb{R} \\
    \textbf{in~} control: \mathbb{C} \\
\zbreak
    \textbf{out~} moving: \mathbb{R} \\
    \textbf{out~} u: \mathbb{B} \\
\ST
\zbreak
    control.1.1 = x2moving \imp \\
        \t1 maxrate(x, $10K$) \\
        \t1 \land delay(pr''(x \copyright DBH), moving, \Delta_{level2\_robot}) \\
\zbreak
    control.1.1 = feeling2u \imp \\
        \t1 maxrate(u, $10K$) \\
        \t1 \land delay(feeling, pr''(u \copyright IBH), \Delta_{level2\_robot}) \\
\zbreak
    control.1.1 = x2moving\_feeling2u \imp \\
        \t1 maxrate(x, $10K$) \\
        \t1 \land maxrate(u, $10K$) \\
        \t1 \land delay(pr''(x \copyright DBH), moving, \Delta_{level2\_robot}) \\
        \t1 \land delay(feeling, pr''(u \copyright IBH), \Delta_{level2\_robot}) \\
\end{schema}