Difference between revisions of "EMO:How EMO models SFT constraints"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
| − | <math> | + | <math display = 'block'> |
| + | <mrow> | ||
| + | <mi>A</mi> | ||
| + | <msub> | ||
| + | <mi>F</mi> | ||
| + | <mi>M</mi> | ||
| + | </msub> | ||
| + | <mo>+</mo> | ||
| + | <mi>B</mi> | ||
| + | <msub> | ||
| + | <mi>F</mi> | ||
| + | <mi>C</mi> | ||
| + | </msub> | ||
| + | <mo lspace='3px' rspace='3px'>≤</mo> | ||
| + | <mi>C</mi> | ||
| + | </mrow> | ||
| + | </math> | ||
Revision as of 15:00, 28 January 2014
<math display = 'block'>
<mrow>
<mi>A</mi>
<msub>
<mi>F</mi>
<mi>M</mi>
</msub>
<mo>+</mo>
<mi>B</mi>
<msub>
<mi>F</mi>
<mi>C</mi>
</msub>
<mo lspace='3px' rspace='3px'>≤</mo>
<mi>C</mi>
</mrow>
</math>