% Vlozeni obrazku {obrazek}{popisek}{sirka}
\def\figure#1#2#3{\bigskip\vbox{\centerline{\epsfxsize=#3\epsfbox{#1}}\smallskip\centerline{#2}}\bigskip}
+
+% Todo
+\def\todo#1{\leftline{\bf TODO: \it #1}}
+
+% Blackboard bold font
+\newfam\bbfam
+\font\bbten=bbold10
+\textfont\bbfam=\bbten
+\def\bb{\bbten\fam\bbfam}