biomedcentral.com/bmcbioinformatics/about
Bottom,Top,Right1
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow>
<mml:mi>ϕ</mml:mi>
<mml:mo>:</mml:mo>
<mml:mo>:</mml:mo>
<mml:mo>=</mml:mo>
<mml:mi>A</mml:mi>
<mml:mi>P</mml:mi>
<mml:mo>|</mml:mo>
<mml:msub>
<mml:mi>ϕ</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:mo>∨</mml:mo>
<mml:msub>
<mml:mi>ϕ</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
<mml:mo>|</mml:mo>
<mml:msub>
<mml:mi>ϕ</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:mo>∧</mml:mo>
<mml:msub>
<mml:mi>ϕ</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
<mml:mo>|</mml:mo>
<mml:mi>¬</mml:mi>
<mml:msub>
<mml:mi>ϕ</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:mo>|</mml:mo>
<mml:msub>
<mml:mi>ϕ</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
<mml:msup>
<mml:mstyle mathsize="normal" mathvariant="bold">
<mml:mi>U</mml:mi>
</mml:mstyle>
<mml:mi>t</mml:mi>
</mml:msup>
<mml:msub>
<mml:mi>ϕ</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
<mml:mo>.</mml:mo>
</mml:mrow>
</mml:math>