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

digraph G {
  node [fillcolor=white, style=filled];
  0 [label="And"];
  0 -> 1;
  1 [label="a", shape=box];
  0 -> 2;
  2 [label="Or"];
  2 -> 1;
  2 -> 3;
  3 [label="b", shape=box];
  0 -> 4;
  4 [label="Or"];
  4 -> 3;
  4 -> 5;
  5 [label="c", shape=box];

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{red}{\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}