[WARNING] Could not convert TeX math 'init: \bf{Stmt \rightarrow Lab}', rendering as TeX:
  init: \bf{Stmt \rightarrow Lab}
           ^
  unexpected "{"
  expecting "%", "\\label", "\\nonumber" or whitespace
[WARNING] Could not convert TeX math 'final: \bf{Stmt \rightarrow \mathcal{P}(Lab)}', rendering as TeX:
  final: \bf{Stmt \rightarrow \mathcal{P}(
            ^
  unexpected "{"
  expecting "%", "\\label", "\\nonumber" or whitespace
[WARNING] Could not convert TeX math 'blocks: \bf{Stmt \rightarrow \mathcal{P}(Blocks)}', rendering as TeX:
  blocks: \bf{Stmt \rightarrow \mathcal{P}
             ^
  unexpected "{"
  expecting "%", "\\label", "\\nonumber" or whitespace
[WARNING] Could not convert TeX math 'labels: \bf{Stmt \rightarrow \mathcal{P}(Lab)}', rendering as TeX:
  labels: \bf{Stmt \rightarrow \mathcal{P}
             ^
  unexpected "{"
  expecting "%", "\\label", "\\nonumber" or whitespace
[WARNING] Could not convert TeX math 'flow: \bf{Stmt \rightarrow \mathcal{P}(Lab \times Lab)}', rendering as TeX:
  flow: \bf{Stmt \rightarrow \mathcal{P}(L
           ^
  unexpected "{"
  expecting "%", "\\label", "\\nonumber" or whitespace
[WARNING] Could not convert TeX math 'flow^R: \bf{Stmt \rightarrow \mathcal{P}(Lab \times Lab)}', rendering as TeX:
  flow^R: \bf{Stmt \rightarrow \mathcal{P}
             ^
  unexpected "{"
  expecting "%", "\\label", "\\nonumber" or whitespace
[WARNING] Could not convert TeX math '\bf{Lab_*}', rendering as TeX:
  \bf{Lab_*}
     ^
  unexpected "{"
  expecting "%", "\\label", "\\nonumber" or whitespace
[WARNING] Could not convert TeX math '\bf{Var_*}', rendering as TeX:
  \bf{Var_*}
     ^
  unexpected "{"
  expecting "%", "\\label", "\\nonumber" or whitespace
[WARNING] Could not convert TeX math '\bf{Blocks_*}', rendering as TeX:
  \bf{Blocks_*}
     ^
  unexpected "{"
  expecting "%", "\\label", "\\nonumber" or whitespace
[WARNING] Could not convert TeX math '\bf{AExp_*}', rendering as TeX:
  \bf{AExp_*}
     ^
  unexpected "{"
  expecting "%", "\\label", "\\nonumber" or whitespace