\starttext
  The \quote{formula} as it should look like: $a~b|c$.

  Metapost:
  \startMPcode
    label(\sometxt{$a~b|c$}, (0, 0));
  \stopMPcode
\stoptext

