$P|\equiv X$	$P$ believes $X$
$P⊲X$	$P$ sees $X$
$P|\sim X$	$P$ said $X$
$P|\Rightarrow X$	$P$ controls $X$
$\#(X)$	The message $X$ is fresh
$P\stackrel{K}{\leftrightarrow }Q$	$P$ and $Q$ communicate with a shared key $K$
${\left\{X\right\}}_K$	$X$ is encrypted with a key $K$